FREE Registration is required
Overview:
BAN Logic is a well-known authentication logic which, despite other more recent logics and formal methods, remains popular with many protocol designers. BAN Logic however does not properly deal with the issues of certificates and the use of Public Key Infrastructure (PKI). This paper proposes an extension to BAN Logic which focuses on certificate processing within the PKI setting. The extension is along the lines of the work by Gaarder and Snekkenes but better captures current aspects of PKI. In particular, the extension redresses the reasoning on the goodness of private keys, and considers certificate revocation. Common pitfalls in public-key based protocol design are due to insufficient attention placed on the "Intended recipient" as well as the "Stated sender" of a message.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 166 KB | |
| Date: | Aug 2008 | ||
| Pages: | 8 |
Top results from PKI
White Papers, Webcasts, and Resources
- Best Practices in the Call Center: A Customer Touch-Point Methodology OracleImprove customer satisfaction in your contact center -- while reducing costs -- with an approach that puts all client touch-points on one continuum.
- Live Webcast: Get Control over SaaS Application Access TriCipherLearn to simplify and protect access to your company's data in Software-as-a-Service (SaaS) apps using identity and access management best practices.
- The Essential Guide: Real-Time High Availability for Exchange - Replicate Exchange Data for Improved Resiliency CA XOsoftSurvive major interruptions to your Exchange environment--and improve its resiliency and availability--with a real-time data replication solution.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
- World-class technology. Priced for your world.
-
Click here to learn how EMC solutions for small and medium businesses provide proven technology that is easy to deploy and simple to manage.

- Learn more >>
Featured Training Courses
Enterprise Applications
- Check out some of the easiest and most powerful ways to boost productivity while saving money on your application infrastructure. See ZDNet's comprehensive Enterprise Application resource center, now!
- New Online Dashboard
- Read about top issues IT decision-makers face every day, plus get cost effective solutions to real life IT problems. Oracle Topline






