See this document in CiteSeerX!

A Linear Logic of Authorization and Knowledge (2006)  (Make Corrections)  
Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter



  Home/Search   Context   Related

 
View or download:
cmu.edu/%7Efp/papers/affknow06.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cmu.edu/~self/publications (more)
Homepages:  F.Pfenning  

Rate this article: (best)
  Comment on this article  
(Enter summary)

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