SPEC: An Equivalence Checker for Security Protocols.
Alwen TiuNam NguyenRoss HornePublished in: APLAS (2016)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- key management
- benchmark suite
- security mechanisms
- security services
- artificial immune algorithm
- security properties
- authentication protocol
- cryptographic protocols
- secure communication
- resource constrained
- information systems
- real time
- data management
- databases