Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
Lorenzo BoaroEmanuele GlorioFrancesco PagliarecciLuca SpalazziPublished in: SEBD (2010)
Keyphrases
- extended abstract
- model checking
- security requirements
- web services
- temporal logic
- smart card
- information security
- security analysis
- formal verification
- automated verification
- temporal properties
- security policies
- verification method
- formal specification
- model checker
- symbolic model checking
- timed automata
- software architecture
- security mechanisms
- access control
- epistemic logic
- bounded model checking
- formal methods
- transition systems
- business processes
- description language
- linear temporal logic
- modal logic
- business process
- computation tree logic
- concurrent systems
- web service composition
- service oriented architecture
- np complete
- association rules