From Security Protocols to Pushdown Automata.
Rémy ChrétienVéronique CortierStéphanie DelaunePublished in: ICALP (2) (2013)
Keyphrases
- security protocols
- automated design
- security services
- cryptographic algorithms
- key management
- cellular automata
- model checking
- security properties
- security mechanisms
- secure communication
- artificial immune algorithm
- authentication protocol
- cryptographic protocols
- rfid tags
- security requirements
- information systems