A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic.
Koji HasebeMitsuhiro OkadaPublished in: ISSS (2002)
Keyphrases
- qualitative and quantitative
- security protocols
- linear logic
- verification method
- authentication protocol
- ban logic
- logical framework
- temporal logic
- model checking
- formal analysis
- logic programming
- desirable properties
- fixed point
- key management
- security mechanisms
- inference rules
- secure communication
- rfid tags
- sequent calculus
- security requirements
- real time
- belief revision
- public key
- formal methods
- lightweight
- sufficient conditions