Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter  Home/Search
Context
Related
| cmu.edu/%7Efp/papers/affknow06.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/~self/publications (more) Homepages: F.Pfenning |
Rate this article:      (best)Comment on this article |
Abstract: We propose a logic for specifying security policies at a very high level of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge without compromising the objective nature of logical inference. In order to accurately model consumable authorizations and resources, we construct our logic as a modal enrichment of linear logic. We show that the logic satisfies cut elimination, which is a proof-theoretic expression of its soundness. We also... (Update)
Active bibliography (related documents): More All
1.2: Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
1.2: Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
0.9: Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ garg-linear,
author = "Deepak Garg and Lujo Bauer and Kevin Bowers and Frank Pfenning and Michael
Reiter",
title = "A Linear Logic of Authorization and Knowledge",
url = "citeseer.ist.psu.edu/garg06linear.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
57 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
57 Proof-carrying authentication - Appel, Felten - 1999
38 Delegation logic: A logic-based approach to distributed auth.. - Li, Grosof et al. - 2003
26 Information and Computation (context) - Pfenning, elimination et al. - 2000
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
7 Access Control for the Web via Proof-Carrying Authorization - Bauer - 2003
7 Relating Multiset Rewriting and Process Algebras for Securit.. (context) - Bistarelli, Cervesato et al. - 2005
7 Personal communication (context) - Abadi
6 A logic of access control (context) - Crampton, Loizou et al. - 2001
5 Logic in access control - Abadi - 2003
5 Consumable credentials in logic-based access control - Bauer, Bowers et al. - 2006
4 Monadic concurrent linear logic programming - Lopez, Pfenning et al. - 2005
3 Extended version available as Technical Report CMU-CS-03-131.. (context) - Chang, Chaudhuri et al. - 2003
3 Introducing Cyberlogic - Rue, Shankar - 2003
2 Non-interference in constructive authorization logic - Garg, Pfenning - 2006
1 A Summary of the Sequent Calculus This appendix summarizes t.. (context) - van der Hoek, Verbrugge et al. - 2002
Documents on the same site (http://www.cs.cmu.edu/~self/publications.html): More
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2002) (Correct)
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (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