UML 2.0 Statechart based Modeling and Analysis of Finite State Model for Cryptographic Module Validation (암호모듈 검증을 위한 UML 2.0 상태도 기반의 유한상태모델 명세 및 분석)
-
- Journal of the Korea Institute of Information Security & Cryptology
- /
- v.19 no.4
- /
- pp.91-103
- /
- 2009