Ljudevit Bauer  Home/Search
Context Related
| cmu.edu/~lbauer/papers/thesis.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~lbauer/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: After a short period of being not much more than a curiosity, the World-Wide Web quickly became an important medium for discussion, commerce, and business. Instead of holding just information that the entire world could see, web pages also became used to access email, financial records, and other personal or proprietary data that was meant to be viewed only by particular individuals or groups. This made it necessary to design mechanisms that would restrict access to web pages. Unfortunately,... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
Similar documents (at the sentence level):
14.6%: A General and Flexible Access-Control System for the Web - Bauer, Schneider, Felten (2002) (Correct)
7.9%: A Proof-Carrying Authorization System - Bauer, Schneider, Felten (2001) (Correct)
Active bibliography (related documents): More All
1.5: Trust Management for E-Transactions - Patil, Shyamasundar (2005) (Correct)
0.5: Application of Cryptographic Approaches toward an Effective.. - Bhatti (Correct)
0.4: SPKI/SDSI HTTP Server / Certificate Chain Discovery in SPKI/SDSI - Clarke (2001) (Correct)
Similar documents based on text: More All
0.1: Logic-Based Switching Algorithms in Control - Hespanha (1998) (Correct)
0.1: Data-Structural Bootstrapping And Catenable Deques - Buchsbaum (1993) (Correct)
0.1: Hierarchical Modularity And Intermodule Optimization - Blume (1997) (Correct)
Related documents from co-citation: More All
7: Proof-carrying authentication - Appel, Felten - 1999
6: Delegation Logic: A Logic-based Approach to Distributed Authorization - Li - 2000
6: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
BibTeX entry: (Update)
Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003. http://citeseer.ist.psu.edu/bauer03access.html More
@misc{ bauer03access,
author = "L. Bauer",
title = "Access Control for the Web via Proof-Carrying Authorization",
text = "Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization.
PhD thesis, Princeton University, November 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/bauer03access.html" }
Citations (may not include all citations):434 A framework for defining logics - Harper, Honsell et al. - 1993
419 A formulation of the simple theory of types (context) - Church - 1940
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
236 Hypertext Transfer Protocol -- HTTP - Fielding, Gettys et al. - 1999
178 Kerberos: An authentication service for computer networks (context) - Neuman, Ts'o - 1994
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
156 SDSI---A simple distributed security infrastructure - Rivest, Lampson - 1996
151 An Introduction to Mathematical Logic and Type Theory: To Tr.. (context) - Andrews - 1986
143 Compliance checking in the PolicyMaker trust-management syst.. - Blaze, Feigenbaum et al. - 1998
136 System description: Twelf: A meta-logical framework for dedu.. - Pfenning, urmann - 1999
132 SPKI Certificate Theory (context) - Ellison, Frantz et al. - 1999
127 REFEREE: Trust management for web applications - Chu, Feigenbaum et al. - 1997
122 Firefly: A multiprocessor workstation (context) - Thacker, Stewart et al. - 1988
101 Authentication in the Taos Operating System - Abadi, Wobber et al. - 1993
101 Authentication in the Taos operating system - Wobber, Abadi et al. - 1994
98 Certificate chain discovery SPKISDSI - Ellison, Morcos et al. - 2001
75 Public Key Infrastructure Certificate and CRL Profile (context) - Housley, Polk et al. - 2002
68 The KeyNote trustmanagement system (context) - Blaze, Feigenbaum et al. - 1999
66 KeyNote: Trust management for public-key infrastructures - Blaze, Feigenbaum et al. - 1999
58 Foundational proof-carrying code - Appel - 2001
57 Proof-carrying authentication - Appel, Felten - 1999
52 Design of a role-based trust management framework - Li, Mitchell et al. - 2002
49 On SDSI's linked local name spaces - Abadi - 1998
39 Swedish Institute of Computer Science (context) - Laboratory, User's et al. - 2003
38 Delegation logic: A logic-based approach to distributed auth.. - Li, Grosof et al. - 2003
38 A logic-based knowledge representation for authorization wit.. - Li, Feigenbaum et al. - 1999
29 A practically implementable and tractable delegation logic - Li, Grosof et al. - 2000
22 Internet Engineering Task Force (context) - Dierks, Allen et al. - 1999
20 Reconciling role-based management and role-based access cont.. - Lupu, Sloman - 1997
18 Role templates for content-based access control (context) - Guiri, Iglio - 1997
18 A logic for SDSI's linked local name spaces - Halpern, van der Meyden - 1999
17 Policy-directed certificate retrieval - Gunter, Jim - 2000
15 Efficient representation and validation of logical proofs - Necula, Lee - 1998
14 Dos and don'ts of client authentication on the web - Fu, Sit et al. - 2001
14 A security infrastructure for distributed Java applications - Balfanz, Dean et al. - 2000
12 A trustworthy proof checker - Appel, Michael et al. - 2002
11 SMIME Version Message Specification (context) - MIME, Specification et al. - 1999
11 A general and flexible access-control system for the web - Bauer, Schneider et al. - 2002
11 Executive Introduction to Directory Services Using the X (context) - Weider, Reynolds - 1992
10 Kerberized credential translation: A solution to web access .. - Kornievskaia, Honeyman et al. - 2001
10 SPKISDSI HTTP server certificate chain discovery SPKISDSI - SDSI, certificate et al. - 2001
7 Certificate discovery using SPKISDSI (context) - discovery, SDSI et al. - 1998
6 The internet attribute certificate profile for authorization (context) - Farrel, Housley - 2002
5 Classical type theory - Andrews - 2001
4 Personal communication (context) - Andrews - 2003
4 implementation secure web client using SPKISDSI certificate - implementation, web et al. - 2000
3 Shibboleth architecture draft v (context) - Erdos, Cantor - 2001
2 Single sign-on using cookies for web applications (context) - Samar - 1999
2 Internet Engineering Task Force Draft IETF (context) - Ellison, Frantz et al. - 1997
1 Certification practice statement (context) - Ltd - 2002
1 SMIME Version Certificate Handling (context) - MIME, Handling et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ece.cmu.edu/~lbauer/): More
A Proof-Carrying Authorization System - Bauer, Schneider, Felten (2001) (Correct)
A Language and System for Composing Security Policies - Bauer, Ligatti, Walker (2004) (Correct)
A General and Flexible Access-Control System for the Web - Bauer, Schneider, Felten (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC