한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
- /
- Pages.97-99
- /
- 2005
- /
- 1598-5164(pISSN)
CBMC를 이용한 AES 암호화 모듈의 정형 검증
Formal Verification of AES Encryption Module Using CBMC
- Ahn Young-Jung (Dept of Computer Science & Engineering, Korea University) ;
- Choi Jin-Young (Dept of Computer Science & Engineering, Korea University)
- 발행 : 2005.11.01
초록
정보보호 제품의 주요한 역할을 담당하는 암호 모듈의 구현 무결성을 보증하기 위해 많은 연구가 활발히 이루어지고 있다. 하지만 기존의 일반적인 테스팅 방법으로는 구현 무결성에 대해 신뢰하지 못한다. 본 논문에서는 NIST (the US National Institute of Science and Technology)에서 AES(Advanced Encryption Standard)로 제정된 Rijndael 블록암호 모듈을 Verilog로 구현하고 CBMC를 이용하여 새로운 방식의 구현 무결성 평가 방법을 제시하고자 한다.
키워드