[논문 리뷰] Evaluating the Exploitability of Implicit Interactions in Distributed Systems

Jason Jaskolka|arXiv (Cornell University)|2020. 06. 10.

Distributed systems and fault tolerance참고 문헌 11인용 수 4

한 줄 요약

이 논문은 통신 동시 케일리 대수(C²KA)를 사용하여 분산 시스템에서의 암묵적 상호작용—의도하지 않거나 예상치 못한 구성 요소 간 상호작용—의 악용 가능성 평가를 체계적으로 제안한다. 에이전트의 영향력과 반응을 분석함으로써 공격 시나리오를 규명하고, 공식적인 악용 가능성 측도를 도입함으로써 시스템 설계 단계에서 사이버보안 취약점을 조기에 탐지하고 완화할 수 있도록 한다. 프로토타입 도구를 통해 실용적 타당성이 입증되었으며, 이는 시스템의 복원성과 보안성을 향상시키는 데 기여한다.

ABSTRACT

Implicit interactions refer to those interactions among the components of a system that may be unintended and/or unforeseen by the system designers. As such, they represent cybersecurity vulnerabilities that can be exploited to mount cyber-attacks causing serious and destabilizing system effects. In this paper, we study implicit interactions in distributed systems specified using the algebraic modeling framework known as Communicating Concurrent Kleene Algebra (C$^2$KA). To identify and defend against a range of possible attack scenarios, we develop a new measure of exploitability for implicit interactions to aid in evaluating the threat posed by the existence of such vulnerabilities in system designs for launching cyber-attacks. The presented approach is based on the modeling and analysis of the influence and response of the system agents and their C$^2$KA specifications. We also demonstrate the applicability of the proposed approach using a prototype tool that supports the automated analysis. The rigorous, practical techniques presented here enable cybersecurity vulnerabilities in the designs of distributed systems to be more easily identified, assessed, and then mitigated, offering significant improvements to overall system resilience, dependability, and security.

연구 동기 및 목표

• 암묵적 상호작용—계획되지 않은 구성 요소 간 연결—이 사이버 공격에서 실제로 악용될 수 있는지 평가하는 데 있어 중요한 격차를 보완하기 위해.
• 손상된 시스템 에이전트가 암묵적 상호작용을 어떻게 활용하여 다른 에이전트의 행동에 영향을 줄 수 있는지 평가하기 위한 공식적 방법을 개발하기 위해.
• 이러한 상호작용의 악용 가능성도 수량화하여 시스템 설계 단계에서 위험 평가 및 완화 계획 수립을 지원하기 위해.
• 개발 라이프사이클의 초기 단계에서 높은 위험도를 가진 암묵적 상호작용을 식별하고 완화함으로써 시스템 설계자가 사전에 보안성과 신뢰성을 강화할 수 있도록 하기 위해.
• C²KA 기반의 시스템 명세와 통합된 프로토타입 도구를 통해 자동화 분석의 타당성을 입증하기 위해.

제안 방법

• 시스템 구성 요소와 그들의 통신 행동을 공식적으로 모델링하기 위해 통신 동시 케일리 대수(C²KA)를 사용하며, 시스템 행동과 환경를 구분한다.
• 손상된 에이전트가 암묵적 상호작용을 통해 의도하지 않은 행동을 유도할 수 있는 방식을 모델링하기 위해 영향력 및 반응 분석을 적용한다.
• 손상된 에이전트가 암묵적 상호작용을 악용하여 시스템 상태나 행동을 변경하는 순서를 식별함으로써 공격 시나리오를 구성한다.
• 가능한 공격 시나리오의 수와 복잡도에서 유도된 공식적 악용 가능성 측도를 활용하여 성공적 악용 가능성의 정도를 반영한다.
• C²KA 명세에서 공격 시나리오 자동 생성 및 악용 가능성 점수 산정을 자동화하는 프로토타입 도구에 분석 기능을 통합한다.
• C²KA가 메시지 전달 및 공유 변수 통신을 모두 모델링할 수 있어 공격 표면의 결정론적 분석이 가능하다.

실험 결과

연구 질문

• RQ1 손상된 시스템 에이전트가 분산 시스템 내 다른 에이전트의 행동에 영향을 줄 수 있도록 암묵적 상호작용을 어떻게 악용할 수 있는가?
• RQ2 암묵적 상호작용의 악용 가능성은 어떻게 공식적으로 측정할 수 있으며, 이는 시스템 보안성과 신뢰성에 대한 위협 수준을 평가하는 데 어떻게 기여하는가?
• RQ3 형식적 모델링을 통해 복잡한 분산 시스템에서 실제 공격 시나리오를 얼마나 잘 식별하고 분석할 수 있는가?
• RQ4 프로토타입 도구는 실제 시스템 설계에서 악용 가능성 탐지 및 분석을 얼마나 효과적으로 자동화하는가?
• RQ5 제안된 접근법은 설계 변경 또는 제어 메커니즘을 통해 암묵적 상호작용 취약점을 완화하는 데 설계자들을 어떻게 안내할 수 있는가?

주요 결과

• 제안된 방법은 손상된 에이전트가 암묵적 상호작용을 악용하여 시스템 행동에 영향을 줄 수 있는 다수의 현실적인 공격 시나리오를 성공적으로 식별하여, 이 방법의 실용적 관련성을 입증한다.
• 악용 가능성 측도는 암묵적 상호작용을 위협 수준에 따라 순위 매기기 위한 정량적 기반을 제공하며, 완화 노력의 우선순위를 정하는 데 기여한다.
• 프로토타입 도구는 C²KA 명세의 자동 분석을 가능하게 하여, 중간 크기 및 복잡도의 시스템에 이 방법을 적용하는 데의 타당성을 확인한다.
• C²KA의 사용은 메시지 전달 및 공유 메모리 통신을 정확하게 모델링할 수 있게 하여 포괄적인 공격 시나리오 생성을 지원한다.
• 이 방법은 시스템 설계 단계에서 사이버보안 취약점을 조기에 탐지할 수 있게 하여, 더 복원성 있고 안전한 분산 시스템 개발을 지원한다.
• 논문은 공격의 전반적 영향을 평가하지는 않았지만, 향후 시뮬레이션 기반의 영향 분석을 위한 기반을 마련하여 실제로 악용된 암묵적 상호작용의 영향을 평가할 수 있도록 한다.