고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구

Vol. 29, No. 4, pp. 821-834, 8월. 2019
10.13089/JKIISC.2019.29.4.821, Full Text:
Keywords: High-Assurance, Formal specification, Verification, denial of service, drone system
Abstract

사이버 보안위협이 증가하면서 시스템 보안 수준이 보증된 고신뢰 시스템에 대한 수요가 증가하고 있다. 정보보호제품에 대한 평가․인증 국제 표준인 공통평가기준(CC: Common Criteria)은 고등급 보안 수준을 보증하기 위해시스템에 대한 정형명세 및 검증을 요구하고 있으며 점차 이를 준수하는 사례가 증가하고 있다. 본 논문에서는 고등급 보안 수준을 보증하기 위해 다양한 분야에 적용 가능하며 고신뢰 수준을 요구하는 드론시스템에 대한 보안 위협을도출한다. 그 결과를 기반으로 시스템 커널 내 스케줄링 측면에서 개선된 시스템 모델을 Z/EVES를 활용하여 정형명세 및 검증을 진행함으로써 고신뢰 드론시스템에 적용 가능한 스케줄링 방식을 제안한다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
곽지원, 강수영, 김승주, "Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling," Journal of The Korea Institute of Information Security and Cryptology, vol. 29, no. 4, pp. 821-834, 2019. DOI: 10.13089/JKIISC.2019.29.4.821.

[ACM Style]
곽지원, 강수영, and 김승주. 2019. Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling. Journal of The Korea Institute of Information Security and Cryptology, 29, 4, (2019), 821-834. DOI: 10.13089/JKIISC.2019.29.4.821.