Towards Formal Analysis of Security Protocols.

Wenbo Mao Colin Boyd

Published in: CSFW (1993)

Keyphrases

formal analysis
security protocols
automated design
key management
security mechanisms
security properties
security services
secure communication
artificial immune algorithm
authentication protocol
agent model
formal methods
ban logic
cryptographic protocols
real time
rfid tags
case study