Deepak Garg and Frank Pfenning + Carnegie Mellon University E-mail:...  Home/Search
Context Related
| cmu.edu/afs/cs/user/fp/www/...csfw06.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access control policies expressed in the logic and their implementation coincide. We study the proof-theoretic consequences of our design including cut-elimination and two non-interference properties that allow administrators to explore the correctness of their policies by establishing that for a given policy, assertions made... (Update)
Cited by: More
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
Active bibliography (related documents): More All
1.6: Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
1.2: Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
0.3: Logic in Access Control - Abadi (2003) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Halpern and Ron van der Meyden (context) - Joseph - 1999
2: Monadic concurrent linear logic programming - Lopez, Pfenning et al. - 2005
2: Proof-carrying authentication - Appel, Felten - 1999
BibTeX entry: (Update)
@misc{ and-noninterference,
author = "Deepak Garg And",
title = "Non-Interference in Constructive Authorization Logic",
url = "citeseer.ist.psu.edu/garg06noninterference.html" }
Citations (may not include all citations):162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
73 Untersuchungen uber das logische Schlieen (context) - Gentzen - 1935
57 Proof-carrying authentication - Appel, Felten - 1999
49 On SDSI's linked local name spaces - Abadi - 1998
38 Delegation logic: A logic-based approach to distributed auth.. - Li, Grosof et al. - 2003
31 Information and Computation (context) - Fairtlough, Mendler et al. - 1997
19 a logic-based security language (context) - DeTreville - 2002
16 Datalog with constraints: A foundation for trust management .. - Li, Mitchell - 2003
15 A logical framework for reasoning about access control model.. (context) - Bertino, Catania et al. - 2003
10 Distributed proving in access-control systems (context) - Bauer, Garriss et al. - 2005
7 Access Control for the Web via Proof-Carrying Authorization - Bauer - 2003
6 A logic of access control (context) - Crampton, Loizou et al. - 2001
5 Consumable credentials in logic-based access control - Bauer, Bowers et al. - 2006
5 Device-enabled authorization in the Grey system - Bauer, Garriss et al. - 2005
5 Logic in access control - Abadi - 2003
3 Extended version available as Technical Report CMU-CS-03-131.. (context) - Chang, Chaudhuri et al. - 2003
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC