VDM-SL을 이용한 보안 알고리즘의 형식적 표현과 참조구현 코드 생성

Vol. 6, No. 4, pp. 67-84, 8월. 1996
10.13089/JKIISC.1996.6.4.67, Full Text:
Keywords:
Abstract

VDM-SL은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식 규격어의 하나로서 특히 보안표준의 기술에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 널리 사용되고 있는 도구이다. 본 논문에서는 IFAD VDM-SL Toolbox를 이용해 MD4 Message Digest Algorithm을 VDM-SL로 기술하고, 이에 대한 C++ 코드를 생성하여 보안 알고리즘에 대한 참조구현 코드 생성 기법을 제시하고자 한다. 또한, 이를 안전한 해쉬코드 생성 알고리즘에 대하여 적용한 결과를 검토하여 최근 보안 시험 방법으로 제시되고 있는 Strict Conformance Test 와의 연계성을 제시하고자 한다.

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]
Y. Kim, K. Kim, Y. Kim, J. Ryou, C. Jang, "Formal Description and Reference Implementation Code Generation for a Security Algorithm using VDM-SL," Journal of The Korea Institute of Information Security and Cryptology, vol. 6, no. 4, pp. 67-84, 1996. DOI: 10.13089/JKIISC.1996.6.4.67.

[ACM Style]
Young-Gil Kim, Ki-Su Kim, Young-Wha Kim, Jae-Cheol Ryou, and Chung-Ryong Jang. 1996. Formal Description and Reference Implementation Code Generation for a Security Algorithm using VDM-SL. Journal of The Korea Institute of Information Security and Cryptology, 6, 4, (1996), 67-84. DOI: 10.13089/JKIISC.1996.6.4.67.