Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, November 1999. ACM Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) Self-citation (Appel) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In 6th ACM Conference on Computer and Communications Security. ACM Press, November 1999.
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) Self-citation (Appel) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In 6th ACM Conference on Computer and Communications Security. ACM Press, November 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, November 1999. ACM Press.
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In CCS '99: Proceedings of the 6th ACM conference on Computer and communications security, pages 52--62, New York, NY, USA, 1999. ACM Press.
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, Nov. 1999. ACM Press.
Weighted Pushdown Systems and Trust-Management Systems - Jha, Schwoon, Wang, Reps (2006) (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In Conf. on Comp. and Commun. Sec., Nov. 1999.
On Generalized Authorization Problems - Schwoon Jha Reps (Correct)
No context found.
A.W. Appel and E.W. Felten. Proof-carrying authentication. In Conf. on Comp. and Commun. Sec., November 1999.
Persistent Personal Names for Globally Connected Mobile Devices - Bryan Ford Jacob (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In 6th ACM CCS, November 1999.
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
No context found.
4 A.W. Appel, E.W. Felten. Proof-Carrying Authentication. 6th ACM Conference on Computer and Communications Security, 52-62, 1999.
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, Singapore, Nov. 1999. ACM Press. To appear.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, November 1999. ACM Press.
Securing Information Gateways with - Derivation-Constrained Access.. (2006) (Correct)
No context found.
Appel, A.W., Felten, E.W.: Proof-Carrying Authentication. In: Proceedings of 6th ACM Conference on Computer and Communications Security. (1999)
Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, Nov. 1999. ACM Press.
Small proof witnesses for LF - Sarkar, Pientka, Crary (2005) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In ACM Conference on Computer and Communications Security, pages 52--62, 1999.
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, November 1999. ACM Press.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In CCS '99: Proceedings of the 6th ACM Conference on Computer and Communications Security, pages 52--62, New York, November 1999. ACM Press.
Device-Enabled Authorization in the Grey System - Bauer, Garriss, McCune.. (2005) (2 citations) (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proceedings of the 6th ACM Conference on Computer and Communications Security, November 1999.
Trustless Grid Computing in ConCert - Bor-Yuh Evan Chang (2002) (6 citations) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52-62, Singapore, November 1999. ACM Press.
A Formal Model for Trust in Dynamic Networks - Marco Carbone Mogens (2003) (12 citations) (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proc. 6th ACM Conference on Computer and Communications Security, 1999.
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proc. of 6th ACM Conference on Computer and Communications Security (CCS '99), 1999.
Securing a Remote Terminal Application with a Mobile.. - Oprea, Balfanz.. (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore, November 1999.
A Logic for Auditing Accountability in Decentralized.. - Corin, Etalle, den.. (Correct)
No context found.
A. W. Appel and E. W. Felten. Proof-carrying authentication. Proceedings of the 6th ACM Conference on Computer and Communications Security, pages 52--62, November 1999.
Type Refinements - Harper, Pfenning (2001) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52--62, Singapore, November 1999. ACM Press.
Access Control for the Web via Proof-Carrying Authorization - Bauer (2003) (3 citations) (Correct)
No context found.
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, 98, 99
Trust Management in Strand Spaces: A Rely-Guarantee.. - Guttman, Thayer.. (2004) (2 citations) (Correct)
No context found.
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In 6th ACM Conference on Computer and Communications Security, November 1999.
First 50 documents Next 50
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