The following pages link to A logic of access control (Q5890348):
Displaying 15 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Verification and enforcement of access control policies (Q2248087) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Believing the integrity of a system (invited talk) (Q2848028) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Layered graph logic as an assertion language for access control policy models (Q2987042) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- (Q3361872) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- On the Decidability of the Safety Problem for Access Control Policies (Q5178997) (← links)
- A Modal Deconstruction of Access Control Logics (Q5458361) (← links)
- Information Security (Q5492771) (← links)
- A logic of access control (Q5890349) (← links)
