A linear logic of authorization and knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4189 LNCS, Issue , 2006, Pages 297-312

  Garg, Deepak ^a   Bauer, Lujo ^a   Bowers, Kevin D ^a   Pfenning, Frank ^a   Reiter, Michael K ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; INFERENCE ENGINES; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; MODAL ANALYSIS; SECURITY SYSTEMS;

ABSTRACTION; AUTHORIZATION; LINEAR LOGIC; LOGICAL INFERENCE;

FORMAL LOGIC;

EID: 33750280592     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11863908_19     Document Type: Conference Paper

References (20)

1. Martín Abadi. Personal communication.
2. Martin Abadi. Logic in access control. In Proceedings of the 18th Annual Symposium on Logic in Computer Science (LICS'03), pages 228-233, Ottawa, Canada, June 2003. IEEE Computer Society Press.
3. Martin Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL'99), pages 147-160, San Antonio, Texas, January 1999. ACM Press.
4. Martín Abadi, Michael Burrows, Butler Lampson, and Gordon Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, October 1993.
5. Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297-347, 1992.
6. Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52-62, Singapore, November 1999. ACM Press.
7. Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003.
8. Lujo Bauer, Kevin D. Bowers, Frank Pfenning, and Michael K. Reiter. Consumable credentials in logic-based access control. Technical Report CMU-CYLAB-06-002, Carnegie Mellon University, February 2006.
9. Elisa Bertino, Barbara Catania, Elena Ferrari, and Paolo Perlasca. A logical frame-work for reasoning about access control models. ACM Trans. Inf. Syst. Secur., 6(1):71-127, 2003.
10. Stefane Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli. Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of Computer Security, 13:3-47, February 2005.
11. Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Submitted. Extended version available as Technical Report CMU-CS-03-131R, December 2003.
12. Jason Crampton, George Loizou, and Greg O' Shea. A logic of access control. The Computer Journal, 44(1):137-149, 2001.
13. John DeTreville. Binder, a logic-based security language. In M.Abadi and S.Bellovin, editors, Proceedings of the 2002 Symposium on Security and Privacy (S&P'02), pages 105-113, Berkeley, California, May 2002. IEEE Computer Society Press.
14. Deepak Garg and Frank Pfenning. Non-interference in constructive authorization logic. In Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19). IEEE Computer Society Press, 2006. To appear.
15. Ninghui Li, Benjamin N. Grosof, and Joan Feigenbaum. Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur., 6(1):128-171, 2003.
16. Ninghui Li and John C. Mitchell. Datalog with constraints: A foundation for trust management languages. In PADL '03: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, pages 58-73. Springer-Verlag, 2003.
17. Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, 2005.
18. Frank Pfenning. Structural cut elimination I. Intuitionistic and classical logic. Information and Computation, 157(1/2):84-141, March 2000.
19. Harald Rueß and Natarajan Shankar. Introducing Cyberlogic. In Proceedings of the 3rd Annual High Confidence Software and Systems Conference, Baltimore, Maryland, April 2003.
20. W. van der Hoek and R. Verbrugge. Epistemic logic: A survey. Game Theory and Applications, 8:53-94, 2002.