Formal Analysis of PANA Authentication and Authorisation Protocol.

Published in: PDCAT (2008)

Keyphrases

formal analysis
ban logic
security model
authentication protocol
agent model
security analysis
formal methods
knowledge base
software engineering
intrusion detection
software systems
security policies
biometric authentication
payment protocol