정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석

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

본 논문에서 다루는 보안 정형 명세를 지원하는 도구인 SPEAR II와 IFAD VDM-SL Toolbox의 추요 기능과 사용자 환경 및 동작 모듈, 코드 생성 과정을 비교하고, 보안 소프트웨어 개발을 위한 두 도구의 성능적 측면을 살펴 본 후 용이한 개발을 제공해주는 도구로부터의 보안 소프트웨어 개발 방안을 제시한다. 본 논문에서 제시하는 보안 프로토콜 코드 생성 도구 기능 비교는 정형 명세 기법을 이용한 소프트웨어 개발 방법에서 정형 명세를 통한 보다 안전한 보안 소프트웨어를 개발하는 방향을 제시한다. 이러한 방향 제시를 통하여 보다 안전한 보안 소프트웨어 개발을 이룰 수 있다.

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]
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.