Security analysis of GTRBAC and its variants using model checking.
Samrat MondalShamik SuralVijayalakshmi AtluriPublished in: Comput. Secur. (2011)
Keyphrases
- model checking
- security analysis
- temporal logic
- smart card
- security requirements
- public key
- formal specification
- automated verification
- model checker
- temporal properties
- symbolic model checking
- formal verification
- transition systems
- formal methods
- computation tree logic
- verification method
- timed automata
- reactive systems
- epistemic logic
- encryption scheme
- bounded model checking
- concurrent systems
- database systems
- satisfiability problem
- artificial intelligence