암호모듈 검증을 위한 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 Statistics
Cite this article
10.13089/JKIISC.2009.19.4.91, Full Text:
Keywords: CMVP, FSM, UML 2.0, CM
Abstract Statistics
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.