Proof-carrying authentication

Andrew W. Appel; Edward W. Felten

doi:10.1145/319709.319718

Proof-carrying authentication

Andrew W. Appel, Edward W. Felten

Research output: Contribution to conference › Paper › peer-review

172 Scopus citations

Abstract

We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks - including Taos, SPKI, SDSI, and X.509 - have been explained using logic. We show that by starting with the logic, we can implement these frameworks, all in the same concise and efficient system. Because our logic has no decision procedure - although proof checking is simple - users of the framework must submit proofs with their requests.

Original language	English (US)
Pages	52-62
Number of pages	11
DOIs	https://doi.org/10.1145/319709.319718
State	Published - 1999
Event	Proceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS) - Singapore, Singapore Duration: Nov 2 1999 → Nov 4 1999

Other

Other	Proceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS)
City	Singapore, Singapore
Period	11/2/99 → 11/4/99

All Science Journal Classification (ASJC) codes

Software
Computer Networks and Communications

Access to Document

10.1145/319709.319718

Cite this

@conference{1c4f1f2cec4c4721b205b3910d076da8,

title = "Proof-carrying authentication",

abstract = "We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks - including Taos, SPKI, SDSI, and X.509 - have been explained using logic. We show that by starting with the logic, we can implement these frameworks, all in the same concise and efficient system. Because our logic has no decision procedure - although proof checking is simple - users of the framework must submit proofs with their requests.",

author = "Appel, {Andrew W.} and Felten, {Edward W.}",

year = "1999",

doi = "10.1145/319709.319718",

language = "English (US)",

pages = "52--62",

note = "Proceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS) ; Conference date: 02-11-1999 Through 04-11-1999",

}

TY - CONF

T1 - Proof-carrying authentication

AU - Appel, Andrew W.

AU - Felten, Edward W.

PY - 1999

Y1 - 1999

N2 - We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks - including Taos, SPKI, SDSI, and X.509 - have been explained using logic. We show that by starting with the logic, we can implement these frameworks, all in the same concise and efficient system. Because our logic has no decision procedure - although proof checking is simple - users of the framework must submit proofs with their requests.

AB - We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks - including Taos, SPKI, SDSI, and X.509 - have been explained using logic. We show that by starting with the logic, we can implement these frameworks, all in the same concise and efficient system. Because our logic has no decision procedure - although proof checking is simple - users of the framework must submit proofs with their requests.

UR - http://www.scopus.com/inward/record.url?scp=0033281265&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033281265&partnerID=8YFLogxK

U2 - 10.1145/319709.319718

DO - 10.1145/319709.319718

M3 - Paper

AN - SCOPUS:0033281265

SP - 52

EP - 62

T2 - Proceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS)

Y2 - 2 November 1999 through 4 November 1999

ER -

Proof-carrying authentication

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this