Sciweavers

CCS
1999
ACM

Proof-Carrying Authentication

14 years 3 months ago
Proof-Carrying Authentication
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.
Andrew W. Appel, Edward W. Felten
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CCS
Authors Andrew W. Appel, Edward W. Felten
Comments (0)