Abstract
This document defines the evaluation methods and activities to assess the artifacts defined in Part 1 for the verification of the correctness and security of a cryptographic protocol specification using the framework from ISO/IEC 15408-4.
General information
-
Status: Under developmentStage: Proof sent to secretariat or FDIS ballot initiated: 8 weeks [50.20]
-
Edition: 1Number of pages: 14
-
Technical Committee :ISO/IEC JTC 1/SC 27ICS :35.030
- RSS updates
