SATMC: A SAT-Based Model Checker for Security Protocols.
Alessandro ArmandoLuca CompagnaPublished in: JELIA (2004)
Keyphrases
- security protocols
- model checker
- ai planning
- planning domains
- model checking
- description language
- formal verification
- planning problems
- integer programming
- formal methods
- heuristic search
- temporal logic
- key management
- web service composition
- security mechanisms
- service composition
- set theory
- formal specification
- rfid tags
- test suite
- specification language
- operating system
- web services