암호 하드웨어 모듈의 신뢰성 검증 도구

경동욱 ,  김동규

한국정보과학회 학술발표논문집

2004 .04

암호모듈 검증 정책에 관한 연구

최명길 ,  정재훈

한국산학기술학회 논문지

2011 .01

암호기술 구현물 검증도구 구현

이종후 ,  김충길 ,  이재일 외 2명

정보보호학회논문지

2001 .04

암호프로토콜 논리성 검증도구 개발에 관한 연구

권태경 ,  김승주 ,  송보연

정보보호학회지

2002 .04

하드웨어 암호화 기법의 설계 및 성능분석

아재용 ,  고영웅 ,  홍철호 외 1명

정보과학회논문지 : 정보통신

2002 .12

부 채널 공격에 대한 암호모듈 평가기준 분석

정재구 ,  신재인 ,  이강수

한국멀티미디어학회 학술발표논문집

2009 .11

임베디드 시스템을 위한 Many-Core Processor 하드웨어 암호모듈 기반 암호연산 병렬처리 기법 설계

박성완 ,  김태훈 ,  류재철

한국정보과학회 학술발표논문집

2016 .12

원자력시설에서의 암호화 모듈 사용을 위한 규제 현황

이채창

Proceedings of KIIT Conference

2019 .06

FIPS-OpenSSL 코드 분석을 통한 암호모듈 자가시험 보안요구사항 분석

서석충

정보보호학회논문지

2019 .10

[특집:정보보호 및 암호화 기술]암호 모듈 평가 프로그램(CMVP) 분석과 소개

김석우 ,  정성민 ,  박성근 외 1명

전자공학회지

2003 .06

암호모듈 및 정보보호 시스템의 보안성 추정 모형

장화식 ,  이경현

한국멀티미디어학회 학술발표논문집

1999 .11

하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법

김태홍 ,  홍정현 ,  정기석

한국통신학회 학술대회논문집

2014 .01

국내ㆍ외 商用 암호모듈 검증정책

IT 보안인증사무국

정보과학회지

2007 .05

품질 연계지표 평가방법을 사용한 암호화 모듈 실무현장 적용체계 연구

노시춘 ,  나상엽

융합보안논문지

2014 .01

금융부문 암호기술의 안전성 강화를 위한 보안고려사항

김영태 ,  이수미 ,  노봉남

정보보호학회논문지

2009 .08

암호 함수의 구성 방법에 관한 연구 ( A Study on the Construction Methods of Cryptographic Functions )

김광조 ,  송본면 ,  금정수수 외 1명

한국통신학회논문지

1991 .01

암호모듈 검증 기준의 비교ㆍ분석

길영태 ,  배익환 ,  고갑승 외 1명

한국멀티미디어학회 학술발표논문집

2007 .05

암호프로토콜 논리성 자동 검증에 관한 연구

권태경 ,  양숙현 ,  김승주 외 1명

정보보호학회논문지

2003 .02

공개키 암호시스템을 위한 암호알고리즘 검증기준 연구

최완승 ,  안정우 ,  이옥연 외 1명

한국통신학회 학술대회논문집

2013 .01

Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증

최원빈 ,  김승주

정보보호학회논문지

2018 .02