[논문 리뷰] Quantitative Models of Imperfect Deception in Network Security using Signaling Games with Evidence

Jeffrey Pawlick, Quanyan Zhu|arXiv (Cornell University)|2017. 07. 25.

Game Theory and Applications참고 문헌 7인용 수 5

한 줄 요약

이 논문은 네트워크 보안에서 불완전한 기만을 모델링하기 위해 기존의 저비용 대화 신호 게임을 확장하여, 기만 여부에 대한 확률적 증거를 제공하는 검출기 모듈을 도입한다. 이는 다수의 유형에서 진실된 신호 전달을 유도하며 일부 균형을 제거하며, 놀랍게도 특정 조건에서 기만을 당한 자뿐 아니라 기만자 자신에게도 유익한 결과를 낳는다. 이는 해저드 허니팟 기반의 능동 방어 시나리오에서 입증되었다.

ABSTRACT

Deception plays a critical role in many interactions in communication and network security. Game-theoretic models called "cheap talk signaling games" capture the dynamic and information asymmetric nature of deceptive interactions. But signaling games inherently model undetectable deception. In this paper, we investigate a model of signaling games in which the receiver can detect deception with some probability. This model nests traditional signaling games and complete information Stackelberg games as special cases. We present the pure strategy perfect Bayesian Nash equilibria of the game. Then we illustrate these analytical results with an application to active network defense. The presence of evidence forces majority-truthful behavior and eliminates some pure strategy equilibria. It always benefits the deceived player, but surprisingly sometimes also benefits the deceiving player.

연구 동기 및 목표

• 기만이 일부 확률로 탐지될 수 있는 네트워크 보안 환경에서의 기만을 모델링하며, 기존의 신호 게임이 기만이 탐지 불가능하다는 가정을 넘어서기 위함이다.
• 기각 가능한 증거의 존재가 수신자(예: 공격자)와 발신자(예: 수비자) 간의 정보 비대칭 상호작용에서 전략적 균형에 어떤 영향을 미치는지 분석하기 위함이다.
• 증거가 능동적 사이버 방어 시나리오에서 기만을 입은 자뿐 아니라 기만자 자신에게도 유익할 수 있는지, 그리고 어떻게 그러한 유익이 발생하는지 조사하기 위함이다.
• 사이버보안 분야에서 기만 전략 평가를 위한 정량적 지표를 지원하는 게임 이론적 프레임워크를 제공하기 위함이다.

제안 방법

• 기존의 신호 게임에 기반하여, 메시지가 의심스러운지 여부를 나타내는 이진 증거(e=0 또는 e=1)를 생성하는 검출기 모듈을 추가한다. 이는 확률 모델 λ(e|θ,m)에 따라 작동한다.
• 수신자의 신뢰 형성 과정을 μ(θ|m,e)로 모델링하며, 수신자는 메시지 내용과 증거를 종합하여 발신자 유형 θ에 대한 신뢰도를 갱신한다.
• 새로운 증거 기반 게임 구조 하에서의 완전 베이지안 나시 균형(PBNE)을 정의하고, 다양한 사전 확률 레지임에 따른 순수 전략 균형을 분석한다.
• 검출기의 두 매개변수를 도입한다: β ∈ [1/2,1]은 검출기의 성능을, α ∈ [0,1/2]는 검출기의 크기를 제어하며, 각각 감지 민감도와 커버리지 범위를 조절한다.
• Gambit를 사용하여 균형 결과를 시뮬레이션하고 시각화하며, 특히 능동 네트워크 방어에서 허니팟 배치 상황을 중심으로 분석한다.
• 사전 확률에 기반해 0-지배, 0-다수, 혼합, 1-다수, 1-지배의 다섯 가지 레지임으로 나누어 균형 행동을 분석한다.

실험 결과

연구 질문

• RQ1 기각 가능한 증거의 도입이 순수 전략 완전 베이지안 나시 균형의 집합에 어떤 영향을 미치는가?
• RQ2 증거가 진실된 신호 전달을 강제로 유도하는 조건는 언제이며, 언제 균형이 제거되는가?
• RQ3 기만 효과가 감소함에도 불구하고, 증거의 존재가 기만자에게도 유익을 줄 수 있는가?
• RQ4 어떤 매개변수 레지임에서 수비자(발신자)가 불완전하게 관찰 가능한 기만으로부터 유용성을 얻는가?
• RQ5 허니팟 기반 능동 방어에서 증거는 공격자(수신자)와 수비자 모두의 기대 유용성에 어떤 영향을 미치는가?

주요 결과

• 0-다수 및 1-다수 레지임에서는 증거가 다수 유형의 발신자가 진실을 전달하도록 강제하며, 소수 유형은 여전히 기만을 시도할 수 있다.
• 혼합 사전 확률 레지임에서는 증거로 인해 발신자와 수신자의 전략이 상호 보완적으로 작용하면서 순수 전략 완전 베이지안 나시 균형이 전부 제거된다.
• 수신자는 항상 증거의 존재에서 유익을 얻는다. 증거를 통해 메시지 외부의 정보까지 종합적으로 고려함으로써 더 나은 의사결정을 내릴 수 있기 때문이다.
• 놀랍게도, 시뮬레이션 결과에 따르면 일부 매개변수 레지임에서 발신자(예: 수비자)도 증거의 존재에서 유익을 얻을 수 있다. 특히 수비자 유용성이 증거의 존재에 따라 증가하는 경우가 관찰되었다.
• 이 모델은 기존의 신호 게임과 완전 정보 스택엘베르크 게임을 일반화하며, 증거 매개변수를 극단적인 값으로 설정할 경우 두 경우 모두 특수한 케이스로 포함된다.
• 허니팟 기반 능동 방어에서는, 기각 가능한 증거가 동반된 불완전한 기만 전략이 수비자의 기대 유용성을 높일 수 있으며, 이는 통제된 오브스큐레이션의 전략적 가치를 시사한다.