AKER: A Design and Verification Framework for Safe andSecure SoC Access Control.
Francesco RestucciaAndres MezaRyan KastnerPublished in: CoRR (2021)
Keyphrases
- access control
- fine grained
- high assurance
- security policies
- policy enforcement
- data security
- rbac model
- role based access control
- access control policies
- dynamic access control
- access control models
- identity management
- embedded systems
- design principles
- security model
- web services
- service providers
- low cost
- relational databases