상세 보기
고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling
- 곽지원;
- 강수영;
- 김승주
초록
사이버 보안위협이 증가하면서 시스템 보안 수준이 보증된 고신뢰 시스템에 대한 수요가 증가하고 있다. 정보보호제품에 대한 평가․인증 국제 표준인 공통평가기준(CC: Common Criteria)은 고등급 보안 수준을 보증하기 위해시스템에 대한 정형명세 및 검증을 요구하고 있으며 점차 이를 준수하는 사례가 증가하고 있다. 본 논문에서는 고등급 보안 수준을 보증하기 위해 다양한 분야에 적용 가능하며 고신뢰 수준을 요구하는 드론시스템에 대한 보안 위협을도출한다. 그 결과를 기반으로 시스템 커널 내 스케줄링 측면에서 개선된 시스템 모델을 Z/EVES를 활용하여 정형명세 및 검증을 진행함으로써 고신뢰 드론시스템에 적용 가능한 스케줄링 방식을 제안한다.
키워드
High-Assurance; formal specification; verification; denial of service; drone system
- 제목
- 고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
- 제목 (타언어)
- Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling
- 저자
- 곽지원; 강수영; 김승주
- 발행일
- 2019
- 저널명
- 정보보호학회논문지
- 권
- 29
- 호
- 4
- 페이지
- 821 ~ 834