A Development of Finite State Machine Create Tool for Cryptography Module Validation

Abstract

The CMVP is system for objective evaluation of cryptographic modules, evaluation activities using by security function requirements in CMVP. Finite state model (FSM) is model which use cryptographic module to testing activity. It should be testing and modeling, but modeling method not exist in CMVP guidance. So, the FSM modeling depends on only developer’s experience. Thus, in this paper, we describe FSM modeling and validation method, and we develop to FSM create tool.