Click Here to download this article
- Articles
- Authors
- Blogs
- Free Tools
- Links
- Message Boards
- Newsletter
- Security Tests
- Services
- Software
- White Papers
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.
Featured Links*
Become a WindowSecurity.com member!
Discuss your security issues with thousands of other network security experts. Click here to join!