Aker: A Design and Verification Framework for Safe and Secure SoC Access Control.
Francesco RestucciaAndres MezaRyan KastnerPublished in: ICCAD (2021)
Keyphrases
- access control
- data security
- high assurance
- identity management
- rbac model
- security mechanisms
- fine grained
- dynamic access control
- security requirements
- security model
- software architecture
- security policies
- access control mechanism
- unauthorized access
- design principles
- embedded systems
- access control models
- design process
- access control policies
- access control systems
- role based access control model