Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation.
Anna Lena Duque AntónJohannes MüllerMohammad Rahmani FadihehDominik StoffelWolfgang KunzPublished in: IEEE Access (2023)
Keyphrases
- formal analysis
- access control
- security mechanisms
- unauthorized access
- fine grained
- dynamic access control
- data security
- protection schemes
- security policies
- security model
- access control policies
- formal methods
- security requirements
- security protocols
- agent model
- role based access control
- security architecture
- access control mechanism
- access control systems
- data protection
- rbac model
- software engineering