Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증Automated Formal Verification of Korean Standard Block Cipher Using Cryptol
- Other Titles
- Automated Formal Verification of Korean Standard Block Cipher Using Cryptol
- Issue Date
- 2018
- Publisher
- 한국정보보호학회
- Keywords
- formal; verification; cryptography; cryptol; saw
- Citation
- 정보보호학회논문지, v.28, no.1, pp.53 - 60
- Indexed
- KCI
- Journal Title
- 정보보호학회논문지
- Volume
- 28
- Number
- 1
- Start Page
- 53
- End Page
- 60
- ISSN
- 1598-3986
- Abstract
- 암호 알고리즘은 세계적으로 표준화가 진행되고 있으며, 암호 알고리즘의 안전성은 충분히 입증되어 왔다. 하지만, 기존 검증 방법으로는 구현상의 취약점이 존재하여 심각한 피해를 야기할 수 있기 때문에 표준에 따라 올바르게구현되었는지에 대한 개선된 검증 방법이 필요하다. 그러므로 본 논문에서는 국가정보원에서 수행하는 128비트 이상 블록 암호 모듈 중에서 검증 대상인 ARIA와 LEA를 선정하였고, 고신뢰 암호 모듈을 위해 Cryptol을 이용하여 올바르게 구현되었는지 검증하는 방법을 제시하고자 한다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - School of Cyber Security > Department of Information Security > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.