Automatic Testing of Access Control for Security Properties.
Hervé MarchandJérémy DubreilThierry JéronPublished in: TestCom/FATES (2009)
Keyphrases
- access control
- security requirements
- security properties
- security mechanisms
- security policies
- security analysis
- fine grained
- security protocols
- dynamic access control
- data security
- security model
- access control policies
- role based access control
- access control models
- formal model
- conflict resolution
- cryptographic protocols
- smart card
- cost effective
- access control mechanism