양광직, 이근우, 한상윤, 박진형,

Vol. 35, No. 4, pp. 759-771, 8월. 2025
10.13089/JKIISC.2025.35.4.759, Full Text:
Keywords: Validating Cryptographic Modules, Rust
Abstract

RUST는 최근 다양한 산업에서 활용되고 있으며, 특히 보안이 중요한 시스템 개발에 적합한 언어로 평가받고 있다. 미국 NSA는 2022년 5월 “Software Memory Safety Recommendations” 보고서에서 C/C++의 메모리 취약점을 지적하며 RUST 사용을 강력히 권장하였다. 이에 따라 RUST를 활용한 암호모듈 개발 및 국내 암호모듈 검증 제도(KCMVP) 검증 신청이 증가하고 있다. 본 연구는 RUST 기반 암호모듈이 KCMVP의 보안 요구사항 (암호모듈 인터페이스, 중요보안매개변수 관리 등)을 충족하도록 안전성을 검증하는 새로운 방법론을 제안하기 위해 ANSSI 가이드라인을 기반으로 11개의 필수 점검 요구사항을 선정하고, 오픈소스 도구(Cargo Audit, MIRAI, Miri 등)와 상용 도구(Codesonar)를 활용해 다양한 암호라이브러리에 대한 정적 및 동적 분석 수행 사례 분석을 통해 제안한 검증 방법론의 유효성을 입증하고, RUST 기반 암호모듈의 안전성 검증을 위한 실무적 방안을 제시하 고 검증 신뢰성 강화를 위한 추가 연구 방향을 제안한다.

Statistics
Cite this article