<p class="MsoBodyText" style="margin: 5.95pt 66.6pt .0001pt 20.0pt;">This document gives guidance on evaluating the implementation of a cryptographic protocol based on the framework provided in ISO/IEC 15408-4. This document specifies the required methods and activities to assess the conformance of a cryptographic protocol implementation to its ISO/IEC 29128-2 based formally verified protocol model. This document specifies assurance metrics for the integrated evaluation of both the cryptographic protocol and its implementation.</p>
Registration number (WIID)
85851
Scope
<p class="MsoBodyText" style="margin: 5.95pt 66.6pt .0001pt 20.0pt;">This document gives guidance on evaluating the implementation of a cryptographic protocol based on the framework provided in ISO/IEC 15408-4. This document specifies the required methods and activities to assess the conformance of a cryptographic protocol implementation to its ISO/IEC 29128-2 based formally verified protocol model. This document specifies assurance metrics for the integrated evaluation of both the cryptographic protocol and its implementation.</p>
