A Generic Model for Analyzing Security Protocols.

Yonggen Gu Yuxi Fu Farong Zhong Han Zhu

Published in: MMM-ACNS (2005)

Keyphrases

generic model
security protocols
automated design
appearance model
security properties
cryptographic algorithms
security services
artificial immune algorithm
security mechanisms
key management
secure communication
statistical model
real time
response time
security requirements
cryptographic protocols