A Formal Analysis of the Lightweight Directory Access Protocol.

Fang Wei Georg Lausen

Published in: ER (Workshops) (2001)

Keyphrases

lightweight
formal analysis
ban logic
formal methods
agent model
wireless sensor networks
access control
authentication protocol
dos attacks
communication infrastructure
machine learning
knowledge based systems
directory service
payment protocol