암호화 모듈(CM)은 하드웨어 또는 소프트웨어를 통해 다양한 암호화 알고리즘과 기능을 구현한 것이다. CM 검증 프로그램(CMVP) 하에서 CM이 검증 또는 인증을 받는 경우, 해당 CM의 유한 상태 모델(FSM)을 개발하여 제공해야 한다. 그러나 FSM을 모델링하고 분석하기 위한 가이드나 방법은 널리 알려져 있지 않는데, 그 가이드가 개발자뿐만 아니라 CM의 검증자들에 의해 때때로 영업상 비밀(proprietary know-how)로 간주되기 때문이다. 본 논문에서는 CMVP 하에서 CM 검증에 필요한 FSM의 모델링 및 분석에 관한 일련의 가이드, 전이(transition) 테스트 경로 생성 알고리즘, 그리고 간단한 모델링 도구(CM-Statecharter)를 제안한다. CM의 FSM은 UML 2.0(Statechart)에 포함된 Statechart를 사용하여 모델링한다. FSM의 약점을 극복하는 Statechart는 CM의 유한 상태 모델링을 위한 형식적이고도 사용이 쉬운 명세 모델이다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.