CBMC를 이용한 AES 암호화 모듈의 정형 검증

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2005년 춘계 학술대회

한글제목(Korean Title)	CBMC를 이용한 AES 암호화 모듈의 정형 검증
영문제목(English Title)	Formal Verification of AES Encryption Module Using CBMC
저자(Author)	안영정 최진영 Young-Jung Ahn Jin-Young Choi
원문수록처(Citation)	VOL 32 NO. 02 PP. 0097 ~ 0099 (2005. 11)
한글내용 (Korean Abstract)	정보보호 제품의 주요한 역할을 담당하는 암호 모듈의 구현 무결성을 보증하기 위해 많은 연구가 활발히 이루어지고 있다. 하지만 기존의 일반적인 테스팅 방법으로는 구현 무결성에 대해 신뢰하지 못한다. 본 논문에서는 NIST (the US National Institute of Science and Technology)에서 AES(Advanced Encryption Standard)로 제정된 Rijndael 블록암호 모듈을 Verilog로 구현하고 CBMC를 이용하여 새로운 방식의 구현 무결성 평가 방법을 제시하고자 한다.
영문내용 (English Abstract)
키워드(Keyword)	AES NIST Verilog
파일첨부	PDF 다운로드