MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proof-Carrying Authentication." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Proof-Carrying Authentication
by Andrew W. Appel, Edward W. Felten — 1999 — In Proceedings of the 6th ACM Conference on Computer and Communications Security
…Proof-Carrying Authentication # Andrew W. Appel and Edward W. Felten Secure Internet Programming…
Cited by 135 (6 self) – Add To MetaCart

Towards practical functional programming with logical frameworks
by Carsten Schürmann — 2003
… architectures such as proof carrying authentication PCA [2], foundational proof carrying code PCC [8, 1…
Cited by 1 (0 self) – Add To MetaCart

Thesis Committee:
by Sean Mclaughlin, Jeremy Avigad, Robert Harper, Dale Miller, Frank Pfenning (chair, André Platzer, École Polytechnique — 2009
…-featured programming language. Proof carrying authentication frameworks based on Twelf allow for computer security…
Add To MetaCart

BCiC: A system for code authentication and verification
by Nathan Whitehead, Martín Abadi — 2005 — In Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’04
… discussion of related work, in particular of research on proof-carrying authentication [2, 4, 16…
Cited by 4 (4 self) – Add To MetaCart

Combining Reason and Authority for Authorization of Proof-Carrying Code
by Nathan Whitehead, Nathan Whitehead — 2004
… on combinations of proofs and assertions. Proof-carrying authentication [11, 12] is another way of combining…
Add To MetaCart

A Proof-Carrying Authorization System
by Lujo Bauer, Michael A. Schneider, Edward W. Felten — 2001
…A Proof-Carrying Authorization System Lujo Bauer Michael A. Schneider Edward W. Felten Secure…
Cited by 10 (0 self) – Add To MetaCart

A Proof-Carrying Authorization System
by Lujo Bauer Michael, Michael A. Schneider, Edward W. Felten — 2001
… to as the AF logic). Their 1 The concept was originally introduced as “proof-carrying authentication…
Add To MetaCart

Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF
by Aaron Stump, Clark W. Barrett, David L. Dill — In 3rd International Workshop on Logical Frameworks and Meta-Languages
… recognized as valuable (see, e.g., [14,4]). Recently, applications like proof-carrying code and proof-carrying…
Cited by 3 (1 self) – Add To MetaCart

Faster Proof Checking in the Edinburgh Logical Framework
by Aaron Stump, David L. Dill — 2002 — In 18th International Conference on Automated Deduction
… code and proof-carrying authentication have created a new need for proofs that can be eciently veried…
Cited by 10 (3 self) – Add To MetaCart

Logic in Access Control
by Martín Abadi — 2003
… essentially adopt this axiom (as rule name i) in their work on proof-carrying authentication [4…
Cited by 50 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB