Security protocol specification and verification with AnBx.
Michele BugliesiStefano CalzavaraSebastian MödersheimPaolo ModestiPublished in: J. Inf. Secur. Appl. (2016)
Keyphrases
- security protocols
- formal verification
- cryptographic protocols
- asynchronous circuits
- formal methods
- security services
- protocol specification
- model checking
- cryptographic algorithms
- automated design
- artificial immune algorithm
- formal specification
- authentication protocol
- key management
- rfid tags
- real time
- computer networks
- sensor data
- sensor networks