Specifying distributed trust management in LolliMon

PLAS 2006 - Proceedings of the 2006 Programming Languages and Analysis for Security Workshop

Volumn 2006, Issue , 2006, Pages 37-46

  Polakow, Jeff ^a   Skalka, Christian ^b  

^a HARVEY MUDD COLLEGE   (United States)

^b UNIVERSITY OF VERMONT   (United States)

Author keywords

Distributed Authorization; Trust Management Logic

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; OPTICAL RESOLVING POWER; SOFTWARE PROTOTYPING;

DISTRIBUTED AUTHORIZATION; TRUST MANAGEMENT LOGIC;

LINEAR PROGRAMMING;

EID: 33745961690     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134744.1134753     Document Type: Conference Paper

References (25)

1. M. Abadi, M. Burrows, B. Lampson, and G. Plotktn. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, 1993.
2. Martin Abadi. On SDSI's linked local name spaces. Journal of Computer Security, 6(1-2):3-21, 1998.
3. Lujo Bauer, Michael A. Schneider, and Edward W. Feiten. A general and flexible access-control system for the web. In Proceedings of the 11th USENIXSecurity Symposium, 2002.
4. Matt Blaze, Joan Feigenbaum, John loannidis, and Angelos D. Keromytis. RFC-2704: The KeyNote Trust-Management System Version 2. IETF, September 1999.
5. Peter Chapin, Christian Skalka, and X. Sean Wang. Risk assessment in distributed authorization. In Proceedings of the ACM Workshop on Formal Methods in Security Engineering, 2005. To Appear.
6. Dwaine Clarke, Jean-Emile Elien, Carl Ellison, Matt Fredette, Alexander Morcos, and Ronald L. Rivest. Certificate chain discovery in SPKI/SDSI. Journal of Computer Security, 9(4):285-322, 2001.
7. Harald Ganzinger and David A. McAllester. A new meta-complexity theorem for bottom-up logic programs. In Rajeev Gore, Alexander Leitsch, and Tobias Nipkow, editors, IJCAR, volume 2083 of Lecture Notes in Computer Science, pages 514-528. Springer, 2001.
8. Harald Ganzinger and David A. McAllester. Logical algorithms. In Peter J. Stuckey, editor, ICLP, volume 2401 of Lecture Notes in Computer Science, pages 209-223. Springer, 2002.
9. J.-Y. Girard. Linear logic: Its syntax and semantics. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic (Proc. of the Workshop on Linear Logic, Cornell University, June 1993). Cambridge University Press, 1995.
10. Joshua S. Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. In Papers presented at the IEEE symposium on Logic in computer science, pages 327-365, Orlando, FL, USA, 1994. Academic Press, Inc.
11. XSB home page, http://xsb.sourceforge.net.
12. Jon Howell and David Kotz. A formal semantics for SPKI. Technical Report 2000-363, Dartmouth College, 2000.
13. H. Koshutanski and F. Massacci. An access control framework for business processes for web services. In Proceedings of the ACM Workshop on XML Security, 2003.
14. Ninghui Li. Local names in SPKI/SDSI. In PCSFW: Proceedings of The 13th Computer Security Foundations Workshop. IEEE Computer Society Press, 2000.
15. Ninghui Li, Benjamin N. Grosof, and Joan Feigenbaum. Delegation Logic: A logic-based approach to distributed authorization. ACM Transaction on Information and System Security (TISSEC), February 2003. To appear.
16. Ninghui Li and John C. Mitchell. Datalog with constraints: A foundation for trust management languages. In Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages, January 2003.
17. Ninghui Li and John C. Mitchell. RT: A role-based trust-management framework. In Proceedings of the Third DARPA Information Survivability Conference and Exposition, pages 201-212. IEEE Computer Society Press, April 2003.
18. Ninghui Li, William H. Winsborough, and John C. Mitchell. Distributed chain discovery in trust management. Journal of Computer Security, 11(1):35-86, February 2003.
19. Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 35-46, New York, NY, USA, 2005. ACM Press.
20. George C. Necula. Proof-carrying code. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97), pages 106-119, Paris, January 1997.
21. Frank Pfenning and Garsten Schurmann. System description: Twelf - A meta-logical framework for deductive systems. In H. Ganzinger, editor, Proceedings of the 16th International Conference on Automated Deduction (CADE-16), pages 202-206, Trento, Italy, 1999. Springer-Verlag LNAI 1632.
22. Jeff Polakow and Christian Skalka. A LolliMon specification of RT, 2006. http://www.cs.uvm.edu/~skalka/lollimon/rt.
23. R. Rivest and B. Lampson. SDSI -a simple distributed security infrastructure, 1996. http://citeseer.lcs.mit.edu/article/rivest96sdsi.html.
24. Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, pages 355-377. Springer-Verlag LNCS 3085, 2004.
25. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, Torino, Italy, April 2003.