Formal Description and Reference Implementation Code Generation for a Security Algorithm using VDM-SL

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

VDL-SL (Vienna Development Method-Specification Language) is one of the FSL(Formal Specification Language) which is being presented for the correct description of the security relevant standards. Several tools are being developed for the correctness and the convenience in the description and executable code generation of security relevant standards using VDM-SL. The IFAD VDM-SL Toolbox is one that has many functions : syntax checking, type checking, c++ code generation, test coverage information. This paper describes a formal method for description and implementation of MD4 algorithm using VDM-SL and IFAD VDM-SL Toolbox, and examines the result applied to secure hash algorithm, and proposes the relation to strict conformance test which recently suggested as a security test method.

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.