Typing Messages for Free in Security Protocols.

Rémy Chrétien Véronique Cortier Antoine Dallon Stéphanie Delaune

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

security protocols
automated design
security services
key management
artificial immune algorithm
security mechanisms
cryptographic algorithms
security properties
authentication protocol
email
security requirements
information systems
case study
computer systems
rfid tags
secure communication