Secure mechanical verification of mutually recursive procedures.
Peter V. HomeierDavid F. MartinPublished in: Inf. Comput. (2003)
Keyphrases
- cryptographic protocols
- integrity verification
- high security
- face verification
- model checking
- security requirements
- sensitive data
- formal methods
- security mechanisms
- security protocols
- security issues
- recursive algorithm
- security analysis
- formal verification
- authentication scheme
- asynchronous circuits
- diffie hellman
- highly efficient
- access control