Security Analysis of Temporal-RBAC Using Timed Automata.
Samrat MondalShamik SuralPublished in: IAS (2008)
Keyphrases
- security analysis
- timed automata
- access control policies
- access control
- security requirements
- model checking
- public key
- high security
- security model
- smart card
- theorem prover
- user authentication
- encryption scheme
- authentication protocol
- security policies
- temporal constraints
- role based access control
- security mechanisms
- real time systems
- conflict resolution
- authentication scheme
- distributed environment
- first order logic
- data security