Proof-Carrying Authentication


Published: Feb 26, 2000 Updated: Feb 26, 2000 Section: Network Security Library :: Auth. & Access Control Author: Printable Version Adjust font size: Rating: 3/5 - 1 Votes 1 2 3 4 5

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.

Click Here to download this article