A Formal Approach for the Verification of AWS IAM Access Control Policies.
Ehtesham ZahoorZubaria AsmaOlivier PerrinPublished in: ESOCC (2017)
Keyphrases
- access control policies
- formal language
- conflict resolution
- access control
- access control systems
- formal methods
- distributed environment
- security policies
- extended logic programs
- fine grained
- model checking
- trust negotiation
- role based access control
- incomplete information
- security mechanisms
- intelligent agents
- data model
- artificial intelligence