A linear logic of authorization and knowledge

A linear logic of authorization and knowledge (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Deepak Garg , Lujo Bauer , Kevin D. Bowers , Frank Pfenning , Michael K. Reiter

Venue:	In Proceedings of the 11th European Symposium on Research in Computer Security
Citations:	13 - 2 self

BibTeX

@INPROCEEDINGS{Garg06alinear,
    author = {Deepak Garg and Lujo Bauer and Kevin D. Bowers and Frank Pfenning and Michael K. Reiter},
    title = {A linear logic of authorization and knowledge},
    booktitle = {In Proceedings of the 11th European Symposium on Research in Computer Security},
    year = {2006},
    pages = {297--312}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

315	A calculus for access control in distributed systems - Abadi, Burrows, et al. - 1993
290	Logic programming with focusing proofs in linear logic - Andreoli - 1992
201	A core calculus of dependency - Abadi, Banerjee, et al. - 1999
176	Delegation logic: A logicbased approach to distributed authorization - Li, Grosof, et al. - 2003
161	Proof-carrying authentication - Appel, Felten - 1999
100	a logic-based security language - Binder - 2002
85	Datalog with constraints: A foundation for trust-management languages - Li, Mitchell
75	Logic in access control - Abadi - 2003
71	A logical framework for reasoning about access control models - Bertino, Catania, et al. - 2001
47	Structural cut elimination I. Intuitionistic and classical logic - Pfenning
45	Non-interference in constructive authorization logic - Garg, Pfenning - 2006
37	Access Control for the Web via Proof-Carrying Authorization - BAUER
37	Monadic Concurrent Linear Logic Programming - López, Pfenning, et al. - 2005
17	Consumable Credentials in Logic-Based Access-Control Systems - BOWERS, BAUER, et al. - 2007
17	A logic of access control - Crampton, Loizou
10	Relating multiset rewriting and process algebras for security protocol analysis - Bistarelli, Cervesato, et al. - 2005
8	Evaluating access control - Crampton, Loizou, et al. - 1999
3	Epistemic logic: A survey. Game Theory and Applications - Hoek, Verbrugge - 2002
2	A judgmental analysis of linear logic. Submitted. Extended version available as - Chang, Chaudhuri, et al. - 2003
2	Rueß and Natarajan Shankar. Introducing Cyberlogic - Harald - 2003
1	Logic in access control - communication - 2003
1	Harald Ruess and Natarajan Shankar. Introducing Cyberlogic - Information, Computation - 2000