Complexity of Anonymity for Security Protocols.

Ferucio Laurentiu Tiplea Loredana Vamanu Cosmin Vârlan

Published in: ESORICS (2010)

Keyphrases

security protocols
security properties
automated design
cryptographic algorithms
key management
artificial immune algorithm
secure communication
low cost
formal model
security mechanisms
authentication protocol
evolutionary design