Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations.
Amina SaâdaouiNihel Ben Youssef Ben SouayehAdel BouhoulaPublished in: TRIDENTCOM (2018)
Keyphrases
- access control
- fine grained
- data security
- dynamic access control
- security mechanisms
- security policies
- access control policies
- security model
- security requirements
- access control models
- formal specification
- security architecture
- rbac model
- role based access control
- role based access control model
- database security
- database
- smart card
- access control mechanism
- role assignment