C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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