[논문 리뷰] Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems

Monowar Hasan, Sibin Mohan외 2명|arXiv (Cornell University)|2017. 04. 29.

Real-Time Systems Scheduling참고 문헌 21인용 수 12

한 줄 요약

Contego는 실시간 시스템의 타이밍 제약을 해치지 않도록 기반 시스템에 보안 작업을 적응형으로 통합하는 프레임워크이다. 기회적 실행과 계층적 스케줄링을 통해 동적으로 모니터링 빈도와 반응성을 조정함으로써 탐지 시간을 단축하면서도 스케줄 가능성과 안정성 유지에 기여하며, 안전 중심 시스템에 보안 메커니즘을 효과적으로 리모델링할 수 있도록 한다.

ABSTRACT

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifically designed for legacy systems, viz., the real-time control systems in which major alterations of the system parameters for constituent tasks is not always feasible. Contego combines the concept of opportunistic execution with hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility by allowing security tasks to operate in different modes. We also define a metric to measure the effectiveness of such integration. We evaluate Contego using synthetic workloads as well as with an implementation on a realistic embedded platform (an open- source ARM CPU running real-time Linux).

연구 동기 및 목표

• 항공, 전력망, 자율주행차와 같은 안전 중심 분야에서 증가하는 임베디드 실시간 시스템(RTS)에 대한 사이버 공격 위협을 다루기 위해.
• 보안 요구사항(예: 빈번한 모니터링)과 실시간 제약(예: 예측 가능하고 적시에 작업을 수행해야 함) 사이의 갈등을 해결하기 위해.
• 기존 작업 매개변수(예: 주기, 우선순위)를 수정할 수 없는 기존 RTS에 보안 메커니즘을 통합할 수 있도록 하기 위해.
• 시스템 상태 및 위협 수준에 따라 다양한 운영 모드를 지원하는 유연하고 적응형 프레임워크를 제공하기 위해.
• 탐지 반응성과 시간적 안정성 측면에서 보안 통합의 효과를 평가할 수 있는 지표를 개발하기 위해.

제안 방법

• 보안 작업을 시스템의 실시간 스케줄러에 비정기적이고 낮은 우선순위 작업으로 통합하여 고우선순위 제어 작업에 간섭을 최소화한다.
• 계층적 스케줄링을 활용해 시스템 상태에 따라 보안 작업이 다양한 모드(예: 주기적 모니터링 또는 수요에 따라 깊이 있는 점검)로 작동하도록 한다.
• 기회적 실행을 적용: 고우선순위 실시간 작업이 실행 중이 아닐 경우에만 보안 작업이 실행되며, 이로 인해 타이밍 보장에 미치는 영향을 최소화한다.
• 의심스러운 침입 상황에서 탐지 속도를 향상시키기 위해 모드 간 적응형 전환을 도입하여 실시간 제약을 위반하지 않으면서도 탐지 시간을 단축한다.
• 목표 모니터링 주기와 실제 달성 가능한 주기 간의 편차를 기반으로 한 지표를 정의하여 통합 효과를 정량화한다.
• 합성 워크로드와 ARM 기반 실시간 리눅스 플랫폼에서의 실제 구현을 통해 프레임워크를 평가한다.

실험 결과

연구 질문

• RQ1 존재하는 작업 매개변수나 실시간 제약을 변경하지 않고서도 기존 실시간 시스템에 보안 작업을 어떻게 통합할 수 있는가?
• RQ2 고우선순위 제어 작업에 간섭을 최소화하면서 효과적인 보안 모니터링을 가능하게 하는 스케줄링 전략은 무엇인가?
• RQ3 의심스러운 공격 상황에서 보안 작업의 반응성을 어떻게 향상시킬 수 있으며, 이로 인해 시스템의 스케줄 가능성은 유지할 수 있는가?
• RQ4 통합된 시스템에서 보안 효과성과 실시간 성능 간의 트레이드오프를 효과적으로 측정할 수 있는 지표는 무엇인가?
• RQ5 보안 작업의 적응형 다중 모드 운영이 시간-탐지 시간을 얼마나 줄일 수 있으며, 이로 인해 시간 예측 가능성은 유지되는가?

주요 결과

• Contego는 기존 작업 매개변수나 아키텍처 변경 없이도 기존 실시간 시스템에 보안 작업을 성공적으로 통합한다.
• 기회적 실행과 계층적 스케줄링을 통해 스케줄 가능성과 실시간 보장을 유지함으로써 고우선순위 제어 작업이 언제나 지연되지 않도록 보장한다.
• 적응형 모드 전환을 통해 의심스러운 이벤트 발생 시 더 빠른 탐지가 가능하며, 고정 우선순위 및 저빈도 모니터링 대비 탐지 시간을 크게 단축시킨다.
• 제안된 지표는 목표 모니터링 주기와 달성 가능한 주기 간의 편차를 효과적으로 정량화하여 보안 통합 품질 평가의 기초를 제공한다.
• 실제 ARM 기반 실시간 리눅스 플랫폼에서의 평가 결과, Contego는 시스템 타이밍 제약을 유지하면서도 높은 보안 반응성을 달성함을 확인하였다.
• 프레임워크는 실제 임베디드 환경에서의 구현 가능성을 입증하였으며, 안전 중심 시스템에 보안 메커니즘을 리모델링하는 데 있어 실용성과 효과성을 입증하였다.