○ 기술명 : 국내표준암호 SW에 대한 고신뢰성 검증 도구 (High Reliability Verification Tool for cryptograph SW)

○ 기술 설명 

기존의 결과 값을 이용한 검증방법은 전수 조사의 한계로 인해 모든 범위를 수행할 수 없었지만 기호 실행을 통한 자동 정형 검증 기법 도구를 통해 테스트 커버리지를 극대화하여 이러한 단점을 극복할 수 있음. 이러한 도구를 통해 암호 장비의 구현 상 취약점 탐지가 가능하여 높은 보증 수준의 안전성 및 신뢰성을 확보할 수 있음 

○ 담당연구실 : 보안공학연구실 (02-3290-4955)