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 Statistics
Cite this article
10.13089/JKIISC.1996.6.4.67, Full Text:
Keywords:
Abstract Statistics
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.