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.