Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 최원빈 | - |
dc.contributor.author | 김승주 | - |
dc.date.accessioned | 2021-09-02T20:24:47Z | - |
dc.date.available | 2021-09-02T20:24:47Z | - |
dc.date.created | 2021-06-16 | - |
dc.date.issued | 2018 | - |
dc.identifier.issn | 1598-3986 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/80461 | - |
dc.description.abstract | 암호 알고리즘은 세계적으로 표준화가 진행되고 있으며, 암호 알고리즘의 안전성은 충분히 입증되어 왔다. 하지만, 기존 검증 방법으로는 구현상의 취약점이 존재하여 심각한 피해를 야기할 수 있기 때문에 표준에 따라 올바르게구현되었는지에 대한 개선된 검증 방법이 필요하다. 그러므로 본 논문에서는 국가정보원에서 수행하는 128비트 이상 블록 암호 모듈 중에서 검증 대상인 ARIA와 LEA를 선정하였고, 고신뢰 암호 모듈을 위해 Cryptol을 이용하여 올바르게 구현되었는지 검증하는 방법을 제시하고자 한다. | - |
dc.language | Korean | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보보호학회 | - |
dc.title | Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증 | - |
dc.title.alternative | Automated Formal Verification of Korean Standard Block Cipher Using Cryptol | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 김승주 | - |
dc.identifier.doi | 10.13089/JKIISC.2018.28.1.53 | - |
dc.identifier.bibliographicCitation | 정보보호학회논문지, v.28, no.1, pp.53 - 60 | - |
dc.relation.isPartOf | 정보보호학회논문지 | - |
dc.citation.title | 정보보호학회논문지 | - |
dc.citation.volume | 28 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 53 | - |
dc.citation.endPage | 60 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART002316946 | - |
dc.description.journalClass | 2 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | formal | - |
dc.subject.keywordAuthor | verification | - |
dc.subject.keywordAuthor | cryptography | - |
dc.subject.keywordAuthor | cryptol | - |
dc.subject.keywordAuthor | saw | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.