초록

AI-Helper

본 논문에서는 암호모듈 검증을 수행함에 있어서, 효율적으로 각종 세부 평가 기술을 통합하고, 평가결과를 관리할 수 있는 암호모듈 검증용 자동화 도구를 제시하고자 하며, 이를 위한 설계 및 구현 사항에 대하여 기술하고자 한다. 이를 위하여, 본 논문에서는 정보보호 제품에 대한 안전성을 평가해 제품의 신뢰성을 높이고, 암호 및 검증 기술의 향상을 제공하기 위해, 국외의 정보보호 제품에 대한 평가 프로그램인 국내외 암호모듈 검증정책에 대하여 기술하며, 이와 유사한 제도인 CC에 대하여 기술하고자 한다. 나아가 이를 바탕으로, 본 논문에서 제시하고자 하는, 효율적인 암호 알고리즘의 안전성 분석 및 암호모듈의 안전성 평가를 위한 암호모듈 검증용 자동화 도구 기능 요구사항을 도출하였고, 암호 프로그램 검증 시스템을 구현하였다.

Abstract ▼ AI-Helper

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

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.

주제어