Digital Library


Search: "[ keyword: Validating Cryptographic Modules ]" (1)
    RUST 기반 암호라이브러리 취약성 검증 방법론: 오픈소스 도구와 상용 도구 비교 분석
    양광직, 이근우, 한상윤, 박진형, Vol. 35, No. 4, pp. 759-771, 8월. 2025
    10.13089/JKIISC.2025.35.4.759
    주제어: Validating Cryptographic Modules, Rust