Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2005.11a
  • /
  • Pages.97-99
  • /
  • 2005
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Verification of AES Encryption Module Using CBMC

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

  • Ahn Young-Jung (Dept of Computer Science & Engineering, Korea University) ;
  • Choi Jin-Young (Dept of Computer Science & Engineering, Korea University)
  • Published : 2005.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

정보보호 제품의 주요한 역할을 담당하는 암호 모듈의 구현 무결성을 보증하기 위해 많은 연구가 활발히 이루어지고 있다. 하지만 기존의 일반적인 테스팅 방법으로는 구현 무결성에 대해 신뢰하지 못한다. 본 논문에서는 NIST (the US National Institute of Science and Technology)에서 AES(Advanced Encryption Standard)로 제정된 Rijndael 블록암호 모듈을 Verilog로 구현하고 CBMC를 이용하여 새로운 방식의 구현 무결성 평가 방법을 제시하고자 한다.

Keywords