Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) Self-citation (Bauer) (Correct)
No context found.
Lujo Bauer. Access Control for the Web via Proof-carrying Authorization. PhD thesis, Princeton University, November 2003.
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) Self-citation (Bauer) (Correct)
No context found.
Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003.
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
No context found.
L. Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, Nov. 2003.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Lujo Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003.
Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
No context found.
L. Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, Nov. 2003.
Small proof witnesses for LF - Sarkar, Pientka, Crary (2005) (Correct)
No context found.
Lujo Bauer. Access Control for the Web via Proof-carrying Authorization. PhD thesis, Princeton University, November 2003.
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