Towards formal security analysis of GTRBAC using timed automata.
Samrat MondalShamik SuralVijayalakshmi AtluriPublished in: SACMAT (2009)
Keyphrases
- security analysis
- timed automata
- model checking
- smart card
- public key
- high security
- theorem prover
- security requirements
- first order logic
- security properties
- user authentication
- authentication protocol
- formal model
- formal methods
- image encryption
- encryption scheme
- mutual authentication
- theorem proving
- real time systems
- data warehouse
- databases