Architectural Access Control Policy Refinement and Verification under Uncertainty (short paper).

Sebastian Hahner

Published in: ECSA (Companion) (2021)

Keyphrases

access control policies
access control
conflict resolution
software architecture
security policies
model checking
database
distributed environment
artificial intelligence
security analysis
data storage
role based access control