159 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 languageEnglish (US)
Pages52-62
Number of pages11
DOIs
StatePublished - Jan 1 1999
EventProceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS) - Singapore, Singapore
Duration: Nov 2 1999Nov 4 1999

Other

OtherProceedings of the 1999 6th ACM Conference on Computer and Communications Security (ACM CCS)
CitySingapore, Singapore
Period11/2/9911/4/99

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Proof-carrying authentication'. Together they form a unique fingerprint.

Cite this