Searching for "A Logic of Access Control." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
