Network Authentication Protocol Studies
Abstract
The original focus of this project was to investigate cryptographic protocols, and methods for formal design and analysis of those protocols. As time progressed, we found a need to broaden the scope of this work to include the foundational system architecture support needed for these protocols. In this report we provide a summary of the work we conducted during this study, the findings and a proposed path forward.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 2009
- Accession Number
- ADA498264
Entities
People
- Jim Alves-foss
- Paul Oman
Organizations
- University of Idaho