Proof-carrying authentication
Authors:
Open Access
- 1 November 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 52-62
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.Keywords
This publication has 4 references indexed in Scilit:
- Proof-carrying code1997
- A calculus for access control in distributed systemsACM Transactions on Programming Languages and Systems, 1993
- A framework for defining logicsJournal of the ACM, 1993
- Authentication in distributed systemsACM Transactions on Computer Systems, 1992