Pages that link to "Item:Q5862660"
From MaRDI portal
The following pages link to Semantic Access Control Model: A Formal Specification (Q5862660):
Displaying 4 items.
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- A Formal Model and Correctness Proof for an Access Control Policy Framework (Q2938056) (← links)
- A Temporal Semantic-Based Access Control Model (Q3628440) (← links)
- An authorization model and its formal semantics (Q5862296) (← links)