The following pages link to (Q2769436):
Displaying 8 items.
- A framework for the analysis of access control policies with emergency management (Q530851) (← links)
- Graph-theoretic method for merging security system specifications (Q881862) (← links)
- A graph-based framework for the analysis of access control policies (Q2358699) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- A Formal Model and Correctness Proof for an Access Control Policy Framework (Q2938056) (← links)
- GETGRATS (Q4923529) (← links)
- Graph Transformations for the Specification of Access Control Policies (Q4923543) (← links)
- Decidability of Safety in Graph-Based Models for Access Control (Q5030182) (← links)