SATMC: a SAT-based model checker for security protocols, business processes, and security APIs.
Alessandro ArmandoRoberto CarboneLuca CompagnaPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- security protocols
- business processes
- model checker
- ai planning
- model checking
- business process
- formal verification
- planning domains
- description language
- temporal logic
- formal methods
- security mechanisms
- business process models
- web services
- key management
- formal specification
- business rules
- process model
- test suite
- security requirements
- workflow management systems
- web service composition
- ad hoc networks
- planning problems
- specification language
- security issues
- rfid tags
- heuristic search
- lightweight
- open source
- software engineering
- data mining
- wireless sensor networks
- information systems