A Mechanized Logic for Secure Key Escrow Protocol Verification.
E. Thomas SchubertSarah MocasPublished in: TPHOLs (1995)
Keyphrases
- cryptographic protocols
- high security
- security analysis
- model checker
- trusted third party
- secure communication
- model checking
- asynchronous circuits
- authentication protocol
- key distribution
- security protocols
- third party
- security properties
- covert channel
- formal verification
- lightweight
- verification method
- formal methods
- private key
- formal analysis
- key agreement protocol
- bounded model checking
- key exchange protocol
- diffie hellman
- provably secure
- scalar product
- digital signature
- standard model
- key management
- image encryption
- key exchange
- smart card
- homomorphic encryption
- protocol specification
- group communication
- security requirements
- temporal logic
- logic programming
- linear time temporal logic
- vertically partitioned data
- access control