Formal Verification of Protocols Based on Short Authenticated Strings.
Stéphanie DelauneSteve KremerLudovic RobinPublished in: CSF (2017)
Keyphrases
- formal verification
- model checking
- key agreement protocol
- key exchange
- key distribution
- model checker
- bounded model checking
- cryptographic protocols
- automated verification
- symbolic model checking
- authentication scheme
- program slicing
- authentication protocol
- temporal logic
- key exchange protocol
- security analysis
- functional verification