Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.
Gijs VanspauwenBart JacobsPublished in: SEFM (2015)
Keyphrases
- model checker
- model checking
- cryptographic protocols
- security protocols
- packet filtering
- protocol specification
- smart card
- random number generators
- state machines
- security properties
- temporal logic
- digital libraries
- formal verification
- cryptographic algorithms
- secure communication
- authentication protocol
- lightweight
- formal specification
- homomorphic encryption
- network security
- efficient implementation
- formal specification language
- multimedia
- security analysis
- key management
- high level
- key distribution
- application layer
- communication protocol
- network protocols
- s box
- tcp ip
- digital signature
- standard model
- encryption scheme
- privacy protection
- data sharing