Invariant-based reasoning about parameterized security protocols.

Published in: Formal Aspects Comput. (2010)

Keyphrases

security protocols
automated design
security services
artificial immune algorithm
security properties
cryptographic algorithms
authentication protocol
secure communication
key management
security mechanisms
real time
information systems
database systems
rfid tags
security requirements