An Evaluation Methodology for Protocol Analysis Systems
Abstract
Current day communication systems rely on protocols to provide secure communications among parties. Weaknesses in protocols, at first thought to be secure, have been found through deep analysis. There are many systems that have been designed to provide a means to test the various security characteristics of communication protocols. We present an evaluation methodology that can be used to evaluate protocol analysis systems based on their scope, correctness, performance, and usability characteristics. We apply portions of the methodology to a set of protocol analysis systems to show the evaluation methodology in action.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 2007
- Accession Number
- ADA467175
Entities
People
- Chris W. Hoffmeister
Organizations
- Naval Postgraduate School