Bounding messages for free in security protocols - extension to various security properties.

Myrto Arapinis Marie Duflot

Published in: Inf. Comput. (2014)

Keyphrases

security properties
security protocols
automated design
security requirements
security services
security mechanisms
key management
authentication protocol
security analysis
formal model
cryptographic protocols
digital libraries
formal methods
rfid tags
real time
operating system
response time
secure communication