A Generic Model for Symbolic Analyzing Security Protocols.

Yonggen Gu Yuxi Fu Yang Li Xiaoju Dong

Published in: CIT (2005)

Keyphrases

generic model
security protocols
automated design
appearance model
security properties
security services
cryptographic algorithms
artificial immune algorithm
security mechanisms
statistical model
rfid tags
three dimensional
access control
data processing
image classification
data streams
face recognition