지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 金承柱
- 발행연도
- 2019
- 저작권
- 고려대학교 논문은 저작권에 의해 보호받습니다.
이용수0
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
정보통신 기술의 발전으로 임베디드 시스템이 민간 영역뿐만 아니라 군, 산업 분야에서도 활발히 활용되고 있다. 하지만 다양한 분야에 활용된 임베디드 시스템에 대한 보안은 제한된 연산 성능과 자원 상 특성으로 인해 일반 시스템에 비해 한계를 가진다. 뿐만 아니라 국가 수준의 사이버 공격에 따른 보안위협이 증가하면서 높은 보안 수준이 요구되는 군용 시스템, 자율주행자동차, 스마트 팩토리, 스마트 그리드 등의 사이버-물리시스템 환경 상에서 운용되는 임베디드 시스템에 대한 보증 필요성이 증가하고 있다. 일반적으로 시스템에 대한 평가?인증 국제 표준은 공통평가기준(CC: Common Criteria)이다. 공통평가기준은 고등급 보안 수준을 보증하기 위해 시스템동작에 대한 정형명세 및 검증을 요구하고 있으며 점차 이를 준수하는 사례가 증가하고 있다. 본 논문에서는 고등급 보안 수준이 요구되는 군용 드론시스템에 대한 보증을 수행하기 위해 드론시스템에 대한 모든 보안 위협을 도출한다. 그 결과를 기반으로 실제 군용 드론시스템에서 발생 가능한 사이버 공격을 도식화하고 스케줄링 측면에서 완화할 수 있는 공격을 일부 식별한다. 최종적으로 식별된 공격을 완화하기 위해 스케줄링 측면에서 개선된 시스템 모델을 제안하고 Z/EVES로 정형명세 및 검증한다
목차
국문 요약 11. 서 론 22. 관련 연구 63. 군용 드론시스템 공통 구성요소 도출 124. 보안위협모델링 164.1 기능 및 데이터 흐름 파악 184.2 보안위협 식별 및 공격트리 작성 214.3 완화 방안 제시 245. 고신뢰 드론시스템 스케줄링 모델 제안 286. 정형명세 및 검증 316.1 Z notation을 활용한 제안 모델 정형명세 336.2 Z/EVES를 활용한 정형검증 377. 결론 및 향후 연구 39참고문헌 41부 록 46부록 1 드론시스템 데이터 흐름도 46부록 2 식별된 드론시스템 내 보안위협 47부록 3 공격라이브러리 54부록 4 개선된 스케줄링 모델 정형명세 (in Z Format) 61
최근 본 자료
댓글(0)
0