---

This page is part of the web at the Center for High Assurance Computer Systems.

Objective

Major Accomplishments

• The NRL Protocol Analyzer (NPA) , a tool for verifying the security properties of cryptographic protocols
• Use of NPA to analyze the Internet Key Exchange Protocol
• Use of NPA to analyze TIA/EIA TSB-51 Authentication Protocols for CTIA
• SvO logic, an epistemic logic for cryptographic protocol analysis that unifies several earlier logics and provides a semantic basis for them
• NPATRL, a language for specifying security requirements for cryptographic protocols
• Use of NPATRL to specify requirements for Secure Electronic Standards (SET)

Projects and Sponsors

Comparative Study of Cryptographic Protocol Analysis Techniques (NSA)

The purpose of this project is to perform a comparative study of models and techniques currently used
in the application of formal methods to cryptographic protocol analysis. We intend the end product of our research to be, not only an improved understanding of existing techniques, but improved and generalized techniques that can be applied to a variety of tools.
 

Collaborative Research on Systems and Security (ONR)

The purpose of this project is to bring together researchers  from several different institutions to work together and share their results on the foundations of computer security and related areas. 

Expanding the Limits of Cryptographic Protocol Analysis for Secure Dependable Collaboration (ONR)

The goal of this project is to increase the power of our available techniques to verify the security of cryptographic protocols so that they can better meet the needs of the Navy in assuring secure, dependable
collaboration over a network.  We plan to develop new techniques for the analysis and assurance of resistance to denial-of-service attacks, resistance to traffic analysis, and the verification of security of group protocols.
 

The appearance of external hyperlinks does not constitute endorsement by the United States Department of Defense, the United States Department of the Navy and The Naval Research Laboratory of the linked web sites, or the information, products or services contained therein. For other than authorized activities such as military exchanges and Morale, Welfare and Recreation (MWR) sites, the United States Department of Defense, the Department of the Navy and The Naval Research Laboratory does not exercise any editorial control over the information you may find at these locations. Such links are provided consistent with the stated purpose of this DoD web site.

Privacy Policy