고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling
- Other Titles
- Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling
- Authors
- 곽지원; 강수영; 김승주
- Issue Date
- 2019
- Publisher
- 한국정보보호학회
- Keywords
- High-Assurance; formal specification; verification; denial of service; drone system
- Citation
- 정보보호학회논문지, v.29, no.4, pp.821 - 834
- Indexed
- KCI
- Journal Title
- 정보보호학회논문지
- Volume
- 29
- Number
- 4
- Start Page
- 821
- End Page
- 834
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/70795
- DOI
- 10.13089/JKIISC.2019.29.4.821
- ISSN
- 1598-3986
- Abstract
- 사이버 보안위협이 증가하면서 시스템 보안 수준이 보증된 고신뢰 시스템에 대한 수요가 증가하고 있다. 정보보호제품에 대한 평가․인증 국제 표준인 공통평가기준(CC: Common Criteria)은 고등급 보안 수준을 보증하기 위해시스템에 대한 정형명세 및 검증을 요구하고 있으며 점차 이를 준수하는 사례가 증가하고 있다. 본 논문에서는 고등급 보안 수준을 보증하기 위해 다양한 분야에 적용 가능하며 고신뢰 수준을 요구하는 드론시스템에 대한 보안 위협을도출한다. 그 결과를 기반으로 시스템 커널 내 스케줄링 측면에서 개선된 시스템 모델을 Z/EVES를 활용하여 정형명세 및 검증을 진행함으로써 고신뢰 드론시스템에 적용 가능한 스케줄링 방식을 제안한다.
- 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.