Sessions and Separability in Security Protocols.

Marco Carbone Joshua D. Guttman

Published in: POST (2013)

Keyphrases

security protocols
automated design
security properties
security services
cryptographic algorithms
dimensionality reduction
key management
security mechanisms
cryptographic protocols
authentication protocol
secure communication
rfid tags
artificial immune algorithm
security requirements
digital libraries