Proof-Carrying Authentication

Proof-Carrying Authentication (1999)

by Andrew W. Appel , Edward W. Felten

Venue:	In Proceedings of the 6th ACM Conference on Computer and Communications Security
Citations:	161 - 5 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Proof-Carrying Authentication	user correction - Legacy Corrections
AUTHOR NAME	Andrew W. Appel	user correction - Legacy Corrections
AUTHOR NAME	Edward W. Felten	user correction - Legacy Corrections
AUTHOR AFFIL	Secure Internet Programming Laboratory; Department of Computer Science; Princeton University	user correction - Legacy Corrections
AUTHOR ADDR	Princeton, NJ 08544 USA	user correction - Legacy Corrections
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.	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	In Proceedings of the 6th ACM Conference on Computer and Communications Security	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	52--62	INFERENCE
CITATIONS	15 found	ParsCit 1.0