Searching for "A Logic of Access Control." – sorted by Relevance.
-
A logic of access control
- A logic of access control Jason Crampton, George Loizou and Greg O'Shea Department of Computer
- Cited by 12 (3 self) – Add To MetaCart
-
A Modal Deconstruction of Access Control Logics
- A Modal Deconstruction of Access Control Logics Deepak Garg 1 and Martín Abadi 2,3 1 Carnegie
- Cited by 1 (1 self) – Add To MetaCart
-
A Logic for Reasoning About Time-Dependent Access Control Policies
- A Logic for Reasoning About Time-Dependent Access Control Policies Henry DeYoung May 20, 2008 CMU
- Add To MetaCart
-
A security infrastructure for distributed Java applications
- . We define a logic for access control, such that access is granted iff a proof that it should
- Cited by 33 (3 self) – Add To MetaCart
-
Logic in Access Control
- . This paper is a partial survey and discussion of the role of logic in access control. It considers logical
- Cited by 48 (4 self) – Add To MetaCart
-
Non-Interference in Constructive Authorization Logic
- of assertions made by others. 1. Introduction An authorization logic is a logic for access control
- Cited by 24 (8 self) – Add To MetaCart
-
Interdependency Analysis
- control mechanism and a logical access control mechanism. Logical access is permitted to the system via
- Add To MetaCart
-
Security & Distributed Systems
- system may be controlled by a logical access control system using access rules based on the authenticated
- Cited by 1 (0 self) – Add To MetaCart
-
A language for access control
- of axioms and rules of derivation. The rules of derivation come from a logic of access control
- Cited by 3 (0 self) – Add To MetaCart
-
Access Control for the Web via Proof-Carrying Authorization
- present a particular logic for modeling access-control scenarios that occur on the web. We give
- Cited by 22 (3 self) – Add To MetaCart

