VDM-SL을 이용한 보안 알고리즘의 형식적 표현과 참조구현 코드 생성
Vol. 6, No. 4, pp. 67-84,
8월.
1996
10.13089/JKIISC.1996.6.4.67,
Full Text:
Keywords:
Abstract Statistics
Cite this article
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
![](https://d2kjln74dkk4oj.cloudfront.net/img/pdficon_small.png)
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.