Towards a Mechanization of Cryptographic Protocal Verification.
Dominique BolignanoPublished in: CAV (1997)
Keyphrases
- cryptographic protocols
- model checking
- smart card
- machine intelligence
- high assurance
- encryption key
- database systems
- random number generator
- face verification
- formal analysis
- formal verification
- formal methods
- person identification
- security properties
- encryption scheme
- database
- hash functions
- case study
- artificial intelligence