DTIC ADA465281: Formal Methods for Cryptographic Protocol pdf

DTIC ADA465281: Formal Methods for Cryptographic Protocol

More Book Details

Description of the Book:

The history of the application of formal methods to cryptographic protocol analysis spans over twenty years, and recently has been showing signs of new maturity and consolidation. Not only have a number of specialized tools been developed, and general-purpose ones been adapted, but people have begun applying these tools to realistic protocols, in many cases supplying feedback to designers that can be used to improve the protocol’s security. In this paper we will describe some of the ongoing work in this area, as well as describe some of the new challenges and the ways in which they are being met

• Creator/s: Defense Technical Information Center
• Date: 1/1/2003
• Year: 2003
• Book Topics/Themes: DTIC Archive, Meadows, Catherine, NAVAL RESEARCH LAB WASHINGTON DC, *CRYPTOGRAPHY, *DATA PROCESSING SECURITY, ALGORITHMS, NETWORKS, TOOLS, COMMUNICATIONS PROTOCOLS

An excerpt captured from the PDF book