Access control on the Web using proof-carrying authorization

Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2003

Volumn 2, Issue , 2003, Pages 117-119

  Bauer, L ^a   Schneider, M A ^a   Felten, E W ^a   Appel, A W ^a  

^a Princeton University   (United States)

Author keywords

Access control; Authorization

Indexed keywords

WEB BROWSERS; WEBSITES; WORLD WIDE WEB;

AUTHORIZATION; CONTROL ACCESS; WEB SERVERS;

ACCESS CONTROL;

EID: 84881165182     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISCEX.2003.1194942     Document Type: Conference Paper

References (12)

1. M. Abadi. On SDSI's linked local name spaces. Journal of Computer Security, 6(1-2):3-21, Oct. 1998.
2. M. Abadi, M. Burrows, B. Lampson, and G. D. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, Sept. 1993.
3. M. Abadi, E. Wobber, M. Burrows, and B. Lampson. Authentication in the Taos OS. In Proceedings of the 14th ACM Symposium on Operating System Principles, Dec. 1993.
4. A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore, Nov. 1999.
5. D. Balfanz, D. Dean, and M. Spreitzer. A security infrastructure for distributed Java applications. In 21th IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, May 2000.
6. L. Bauer, M. A. Schneider, and E. W. Felten. A general and flexible access-control system for the web. In Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, Aug. 2002.
7. M. Blaze, J. Feigenbaum, and M. Strauss. Compliance checking in the PolicyMaker trust-management system. In Proceedings of the 2nd Financial Crypto Conference Berlin, 1998.
8. J.-E. Elien. Certificate discovery using SPKI/SDSI 2.0 certificates. Master's thesis, Massachusetts Institute of Technology, May 1998.
9. C. M. Ellison, B. Frantz, B. Lampson, R. Rivest, B. M. Thomas, and T. Ylonen. SPKI Certificate Theory, Sept. 1999. RFC2693.
10. J. Y. Halpern and R. van der Meyden. A logic for SDSI's linked local name spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, June 1999.
11. International Telecommunications Union. ITU-T recommendation X.509: The Directory: Authentication Framework. Technical Report X.509, ITU, 1997.
12. F. Pfenning and C. Schürmann. System description: Twelf: A meta-logical framework for deductive systems. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16-99), Berlin, July 1999.