정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석
Vol. 14, No. 6, pp. 47-56,
12월.
2004
10.13089/JKIISC.2004.14.6.47,
Full Text:
Keywords: SPEAR II, IFAD VDM-SL Toolbox, Formal specification
Abstract Statistics
Cite this article
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
![](https://d2kjln74dkk4oj.cloudfront.net/img/pdficon_small.png)
Keywords: SPEAR II, IFAD VDM-SL Toolbox, Formal specification
Abstract Statistics
Cite this article
[IEEE Style]
J. Seung-Ju, R. Dae-hyun, L. Chul-Sool, P. Il-Hwan, "Analysis of Developing Methodology on the Security Software by Comparing Function for Security Protocol Code Generation Tools," Journal of The Korea Institute of Information Security and Cryptology, vol. 14, no. 6, pp. 47-56, 2004. DOI: 10.13089/JKIISC.2004.14.6.47.
[ACM Style]
Jang Seung-Ju, Ryu Dae-hyun, Lee Chul-Sool, and Park Il-Hwan. 2004. Analysis of Developing Methodology on the Security Software by Comparing Function for Security Protocol Code Generation Tools. Journal of The Korea Institute of Information Security and Cryptology, 14, 6, (2004), 47-56. DOI: 10.13089/JKIISC.2004.14.6.47.