암호모듈 검증을 위한 UML 2.0 상태도 기반의 유한상태모델 명세 및 분석

Vol. 19, No. 4, pp. 91-104, 8월. 2009
10.13089/JKIISC.2009.19.4.91, Full Text:
Keywords: CMVP, FSM, UML 2.0, CM
Abstract

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
G. Lee, J. Jeong, K. Kou, "UML 2.0 Statechart based Modeling and Analysis of Finite State Model for Cryptographic Module Validation," Journal of The Korea Institute of Information Security and Cryptology, vol. 19, no. 4, pp. 91-104, 2009. DOI: 10.13089/JKIISC.2009.19.4.91.

[ACM Style]
Gang-soo Lee, Jae-Goo Jeong, and Kab-seung Kou. 2009. UML 2.0 Statechart based Modeling and Analysis of Finite State Model for Cryptographic Module Validation. Journal of The Korea Institute of Information Security and Cryptology, 19, 4, (2009), 91-104. DOI: 10.13089/JKIISC.2009.19.4.91.