A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies.
Romain LabordeBassem NasserFrédéric GrassetFrançois BarrèreAbdelmalek BenzekriPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- security mechanisms
- access control
- security threats
- access control policies
- security issues
- role based access control
- resource constrained
- security systems
- security requirements
- security measures
- security problems
- smart card
- operating system
- security architecture
- cyber attacks
- conflict resolution
- security protocols
- security services
- cryptographic algorithms
- security policies
- computer networks
- wireless sensor networks
- payment systems
- data processing
- sensor networks
- query processing
- real time