지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2019.8
- 수록면
- 739 - 751 (13page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
임베디드 기기의 보안성이 주요한 문제로 부상하고 있다. 관련된 문제 중 특히 공급망 공격은 국가 간의 분쟁으로 이어질 수 있어 심각한 문제로 대두되고 있다. 공급망 공격을 완화하기 위하여 하드웨어 구성요소, 특히 AES와 같은 암호 모듈에 대한 CC(Common Criteria) EAL(Evaluation Assurance Level) 5 이상 고등급 보안성 인증 및 평가가 필요하다. 고등급 보안성 인증 및 평가를 위하여 암호 모듈에 대한 은닉 채널, 즉 백도어를 탐지하는 것이 필요하다. 그러나 기존의 연구로는 암호 모듈 그 중 AES의 비밀 키를 복구시킬 수 있는 정보가 유출되는 백도어를 탐지하지 못하는 한계가 있다.
따라서 본 논문은 기존의 하드웨어 AES 모듈 백도어의 정의를 확장하여 개선시킨 새로운 정의를 제안하고자 한다. 또한, 이 정의를 이용하여 기존 연구가 탐지하지 못했던 백도어를 탐색하는 과정을 제시한다. 이 탐색 과정은 Verilog HDL (Hardware Description Language)로 표현된 AES 모듈을 정형 기법 도구인 모델 체커(Model Checker) NuSMV를 이용하여 검증하는 것으로 백도어를 탐색한다.
따라서 본 논문은 기존의 하드웨어 AES 모듈 백도어의 정의를 확장하여 개선시킨 새로운 정의를 제안하고자 한다. 또한, 이 정의를 이용하여 기존 연구가 탐지하지 못했던 백도어를 탐색하는 과정을 제시한다. 이 탐색 과정은 Verilog HDL (Hardware Description Language)로 표현된 AES 모듈을 정형 기법 도구인 모델 체커(Model Checker) NuSMV를 이용하여 검증하는 것으로 백도어를 탐색한다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 관련 연구
Ⅲ. 하드웨어 백도어 탐색
Ⅳ. 실험 결과
Ⅴ. 결론 및 향후 연구
References
참고문헌 (34)
참고문헌 신청
IoT Analytics, “The Top 10 IoT Segme nts in 2018 ? based on 1,600 real IoT projects”, https://iot-analytics.com/top -10-iot-segments-2018-real-iot-projects /, Feb 2018.
Iris Heckmannm, Tina Comes, Stefan Nickel, “A Critical review on supply chain risk ? Definition, measure and modeling”, Omega 52, April 2015.
Matt Apuzzo, Michael S. Schmidt, “Se rect Back Door in Some U.S. Phones Sent Data to China, Analyst Say”, htt ps://www.nytimes.com/2016/11/16/us/ politics/china-phones-software-securit y.html?smid=nytcore-ipad-share&smp rod=nytcore-ipad, The New York Tim es, Nov 2016.
Huawei Cyber Security Evaluation Centre(HCSEC), “Huawei cyber security evaluation centre oversight board: annual report 2019”, https://w ww.gov.uk/government/publications/h uawei-cyber-security-evaluation-centr e-oversight-board-annual-report-2019, HCSEC, March 2019
Jordan Robertson, Michael Rilley, Bloomberg Businessweek, “The Big Hack: How China Used a Tiny Chip to Infiltrate U.S. Companies”, https:// www.bloomberg.com/news/features/20 18-10-04/the-big-hack-how-china-used -a-tiny-chip-to-infiltrate-america-s-to p-companies?srnd=2018-the-big-hack, Oct 2018.
Matt Apuzzo, Michael S. Schmidt, “Se rect Back Door in Some U.S. Phones Sent Data to China, Analyst Say”, htt ps://www.nytimes.com/2016/11/16/us/ politics/china-phones-software-securit y.html?smid=nytcore-ipad-share&smp rod=nytcore-ipad, The New York Tim es, Nov 2016.
Huawei Cyber Security Evaluation Centre(HCSEC), “Huawei cyber security evaluation centre oversight board: annual report 2019”, https://w ww.gov.uk/government/publications/h uawei-cyber-security-evaluation-centr e-oversight-board-annual-report-2019, HCSEC, March 2019
Jordan Robertson, Michael Rilley, Bloomberg Businessweek, “The Big Hack: How China Used a Tiny Chip to Infiltrate U.S. Companies”, https:// www.bloomberg.com/news/features/20 18-10-04/the-big-hack-how-china-used -a-tiny-chip-to-infiltrate-america-s-to p-companies?srnd=2018-the-big-hack, Oct 2018.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
IoT 애플리케이션을 위한 AES 기반 보안 칩 설계
전기학회논문지 P
2018 .03
-
AES 보안 하드웨어를 적용한 도어락 시스템
한국통신학회 학술대회논문집
2019 .11
-
High-speed Design of 8-bit Architecture of AES Encryption
융합보안논문지
2017 .01
-
An AE System Using Fuzzy PI Control for Mobile Digital Camera
한국정보기술학회논문지
2017 .07
-
하드웨어 백도어 탐지 연구를 위한 신호 분석용 IC칩 구현
대한전자공학회 학술대회
2022 .06
-
Trust-HUB 기반 하드웨어 백도어의 구현가능성 분석
대한전자공학회 학술대회
2020 .08
-
GPU를 활용한 고속 소프트웨어 암호모듈 설계 및 구현
정보보호학회논문지
2020 .12
-
Design of a 128-bit AES Block Cipher Core
IDEC Journal of Integrated Circuits and Systems
2017 .10
-
FPGA 기반 AES-256 CTR 모듈의 Text Length 별 사양 비교
Proceedings of KIIT Conference
2021 .11
-
A Light-Weight AES Design using LFSR-based S-Box for IoT Applications
IEIE Transactions on Smart Processing & Computing
2022 .04
-
국방 무기체계 지원을 위한 저면적 AES IP 설계
대한전자공학회 학술대회
2020 .11
-
이미지 회전 보정을 통한 효율적 백도어 데이터 탐지 기법
한국정보과학회 학술발표논문집
2024 .06
-
라운드 축소를 통한 경량 AES 블록 암호 알고리즘의 보안성 강화 연구
한국통신학회 학술대회논문집
2015 .11
-
임베디드 시스템을 위한 Many-Core Processor 하드웨어 암호모듈 기반 암호연산 병렬처리 기법 설계
한국정보과학회 학술발표논문집
2016 .12
-
스마트폰 통신 보안 전송에 관한 연구 : 통신 호 네트워크구간 AES256 암호화
Proceedings of KIIT Conference
2018 .06
-
A Study on the Quantum Resistant Hybrid Cryptographic Scheme using AES and RSA Algorithms
한국통신학회 학술대회논문집
2024 .06
-
통신 호 네트워크 구간 암호화를 통한 스마트폰 통신 보안 전송 기법
한국컴퓨터정보학회 학술발표논문집
2016 .01
-
겹치는 정도가 높은 학습데이터에서 오토인코더 은닉층 확장의 영향 분석
디지털콘텐츠학회논문지
2024 .08
-
AE와 가속도센서를 이용한 베어링 이상상태 감시
한국기계가공학회 춘추계학술대회 논문집
2015 .10
-
FPGA 기반 AES 암호화 알고리즘 검증 시스템 설계 및 구현
대한전자공학회 학술대회
2023 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
사물인터넷 보안 강화를 위한 하드웨어 기반 보안 기술
김호원
,
허신욱
,
강원태
외 3명
정보과학회지
2020
.09
정적 분석과 앙상블 기반의 리눅스 악성코드 분류 연구
황준호
,
이태진
정보보호학회논문지
2019
.12
함수암호를 이용한 인증정보 Template 보호 기술
박동희
,
박영호
정보보호학회논문지
2019
.12
미국 공급망 보안 관리 체계 분석
손효현
,
김광준
,
이만희
정보보호학회논문지
2019
.10
ISA 100.11a 및 WirelessHART 기반 보안위협 식별 및 보안요구사항 도출 연구
정재한
,
권성문
,
손태식
정보보호학회논문지
2019
.10
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2019-004-000967770