Access control in a core calculus of dependency

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn 2006, Issue , 2006, Pages 263-273

  Abadi, Martín ^a,b  

^a University of California Santa Cruz   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Authorization; Types

Indexed keywords

AUTHORIZATION; COMPUTATIONAL LAMBDA CALCULUS; DEPENDENCY CORE CALCULUS (DCC);

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION RETRIEVAL;

ACCESS CONTROL;

EID: 34247276117     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159839     Document Type: Conference Paper

References (27)

1. Martín Abadi. Logic in access control. In Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science, pages 228-233, 2003.
2. Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 147-160, January 1999.
3. 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.
4. Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In Proceedings of the 5th ACM Conference on Computer and Communications Security, pages 52-62, November 1999.
5. Lujo Bauer, Scott Garriss, and Michael K. Reiter. Distributed proving in access-control systems. In Proceedings of the 2005 IEEE Symposium on Security and Privacy, pages 81-95, May 2005.
6. Luca Cardelli. Type systems. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook, chapter 103, pages 2208-2236. CRC Press, Boca Raton, FL, 1997.
7. Dorothy E. Denning. Cryptography and Data Security. Addison-Wesley, Reading, Mass., 1982.
8. John DeTreville. Binder, a logic-based security language. In Proceedings of the 2002 IEEE Symposium on Security and Privacy, pages 105-113, May 2002.
9. Deepak Garg and Frank Pfenning. Non-interference in constructive authorization logic. A version of this paper will appear in the Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW-19). Manuscript, February 2006.
10. Morrie Gasser. Building a Secure Computer System. Van Nostrand Reinhold Company Inc., New York, 1988.
11. Jean-Yves Girard. Interprétation Fonctionnelle et Elimination des Coupures de l'Arithmétique d'Ordre Supérieur. Thèse de doctorat d'état, Université Paris VII, June 1972.
12. Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell: a non-strict, purely functional language. Version 1.2. ACM SIGPLAN Notices, 27(5):1-164, 1992.
13. Trevor Jim. SD3: A trust management system with certified evaluation. In Proceedings of the 2001 IEEE Symposium on Security and Privacy, pages 106-115, May 2001.
14. Butler Lampson, Martín Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
15. Butler W. Lampson. Computer security in the real world. Available from http://www.research.microsoft.com/lampson/.
16. David Langworthy. Private communication. February 2006.
17. Ninghui Li, Benjamin N. Grosof, and Feigenbaum. Delegation logic: A logic-based approach to distributed authorization. A CM Transactions on Information and System Security, 6(1):128-171, February 2003.
18. 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 (PADL 2003), volume 2562 of Lecture Notes in Computer Science, pages 58-73. Springer-Verlag, January 2003.
19. John C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, Mass., 1996.
20. Eugenio Moggi. Notions of computation and monads. Information and Control, 93(1):55-92, 1991.
21. Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 228-241, January 1999.
22. François Pottier and Sylvain Conchon. Information flow inference for free. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pages 46-57, September 2000.
23. François Pottier and Vincent Simonet. Information flow inference for ML. ACM Transactions on Programming Languages and Systems, 25(1):117-158, January 2003.
24. Stephen Tse and Steve Zdancewic. Translating dependency into parametricity. Journal of Functional Programming. To appear.
25. Philip Wadler. The marriage of effects and monads. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pages 63-74, 1998.
26. Dan S. Wallach, Andrew W. Appel, and Edward W. Felten. SAFKASI: A security mechanism for language-based systems. ACM Transactions on Software Engineering and Methodology, 9(4):341-378, 2000.
27. Edward Wobber, Martín Abadi, Michael Burrows, and Butler Lampson. Authentication in the Taos operating system. ACM Transactions on Computer Systems, 12(1):3-32, February 1994.