OFMC: A symbolic model checker for security protocols.
David A. BasinSebastian MödersheimLuca ViganòPublished in: Int. J. Inf. Sec. (2005)
Keyphrases
- security protocols
- model checker
- model checking
- formal verification
- formal methods
- binary decision diagrams
- description language
- temporal logic
- formal specification
- automated design
- set theory
- test suite
- security mechanisms
- key management
- ai planning
- specification language
- symbolic representation
- rfid tags
- database systems
- data mining
- planning domains
- boolean functions
- lightweight