암호 프로그램 검증 시스템 설계 및 구현 = Design and Implementation of the Cryptographic Software Verification System

다국어 초록 (Multilingual Abstract)

In this paper, we propose an automation system to verify the cryptographic modules. The automation system is the cryptographic verification tool that integrates the specific test technologies and manage the test results. The requirement of design and implementation for cryptographic verification system is described. We also describe the domestic cryptographic verification policy and CC to examine the information security products and to provide the enhancement of verification technology. The function requirement of automation tool for cryptographic software is produced to analyze the stability of encryption algorithm and to verify the safety evaluation. Cryptographic Software verification system is designed and implemented.

참고문헌 (Reference)

1 송인준, "휴대 기기에서의 SDR (Software Defined Radio)을 위한 운영체제 구조와 재구성 기법" 30 (30): 148-150, 2004

2 권정호, "컴포넌트기반 미들웨어에서 효율적인 컴포넌트 재구성" 32 (32): 751-753, 2005

3 이수원, "컴포넌트 기반 소프트웨어 플랫폼을 위한 컴포넌트 관리자 설계 및 구현" 33 (33): 199-201, 2006

4 박충범, "웨어러블 컴퓨터를 위한 Self-Configuration Manager" 33 (33): 233-237, 2006

5 Craig A. N. Soules, "System Support for Online Reconfiguration" 141-154, 2003

6 "Samsung bada"

7 "SDR Forum"

8 Johannes Helander, "MMLite: A Highly Componentized System Architecture" 1998

9 "LiMo Foundation"

10 "Google Android"

11 Xuejun Chen, "Dependence management for dynamic reconfiguration of component-based distributed systems" 279-284, 2002

12 Alistair Craig Veitch, "A Dynamically Reconfigurable and Extensible Operating System" University of Columbia 1998