The following pages link to A logic of access control (Q5890349):
Displaying 15 items.
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- 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)
- 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)
- 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 Linear Logic of Authorization and Knowledge (Q5862524) (← links)
- A logic of access control (Q5890348) (← links)
