[论文解读] Wiretapping a hidden network

Haris Aziz, Oded Lachish+2 more|ArXiv.org|Sep 29, 2009

Game Theory and Applications参考文献 15被引用 5

一句话总结

本文研究网络安全博弈中边分布策略的最优性，聚焦于最大化次优响应的权重以最小化次优选择的惩罚。提出了一种子集划分框架，并通过归纳法证明：仅当边分布为强分布时，才能实现最优值，利用割率与权重重分配建立最小连通生成子图的理论边界。

ABSTRACT

We consider the problem of maximizing the probability of hitting a strategically chosen hidden virtual network by placing a wiretap on a single link of a communication network. This can be seen as a two-player win-lose (zero-sum) game that we call the wiretap game. The value of this game is the greatest probability that the wiretapper can secure for hitting the virtual network. The value is shown to equal the reciprocal of the strength of the underlying graph. We efficiently compute a unique partition of the edges of the graph, called the prime-partition, and find the set of pure strategies of the hider that are best responses against every maxmin strategy of the wiretapper. Using these special pure strategies of the hider, which we call omni-connected-spanning-subgraphs, we define a partial order on the elements of the prime-partition. From the partial order, we obtain a linear number of simple two-variable inequalities that define the maxmin-polytope, and a characterization of its extreme points. Our definition of the partial order allows us to find all equilibrium strategies of the wiretapper that minimize the number of pure best responses of the hider. Among these strategies, we efficiently compute the unique strategy that maximizes the least punishment that the hider incurs for playing a pure strategy that is not a best response. Finally, we show that this unique strategy is the nucleolus of the recently studied simple cooperative spanning connectivity game.

研究动机与目标

• 确定在隐藏的网络安全博弈中，如何唯一最大化纯次优响应的权重。
• 通过优化边分布，最小化隐藏者选择非最优纯策略时的惩罚。
• 刻画边分布实现最优博弈值的条件，特别关注强分布。
• 在不同边分布下，建立最小连通生成子图权重的理论边界。
• 形式化质数划分与割率在确定最优及退化边集中的作用。

提出的方法

• 将边划分为不相交集合 $\mathcal{P} = \{E_1, \dots, E_5\}$ 的质数划分，以分析边分布结构。
• 定义最大最小边分布 $\beta$，使得 $\mathcal{E}(\beta) = \mathcal{P}$ 且对每个 $i$ 有 $E_i^\beta = E_i$。
• 分析每个划分元素的割率 $cr_k^\beta$，表明对 $k=1,\dots,4$ 有 $cr_k^\beta = 1/2$，但 $cr_5^\beta = 4/10 < 1/2$，说明 $E_5$ 为退化集合。
• 引入全连通生成子图 $H$ 的概念，即使用最少边数以保持各组件间连通。
• 对边分布 $\alpha$ 中不同正权重数量 $s$ 进行归纳，基础情形为 $s=1$，归纳步骤使用权重重分配。
• 在归纳步骤中应用两种情形：(a) 若 $cr_s^\alpha \leq$ 前置集合的平均割率，则将权重从 $E_s^\alpha$ 重分配至先前集合；(b) 若 $cr_s^\alpha >$ 平均割率，则将权重从先前集合重分配至 $E_s^\alpha$，以确保仅有 $s-1$ 种不同权重。

实验结果

研究问题

• RQ1 在何种条件下，边分布可实现最优博弈值？
• RQ2 如何通过最大化次优响应的权重，以最小化非最优选择的惩罚？
• RQ3 何时分布被视为“强”分布？其与实现最优值的关系为何？
• RQ4 质数划分结构在确定退化边集与割率中的作用为何？
• RQ5 边集间权重重分配如何影响割率及最小连通生成子图的值？

主要发现

• 对于给定图，最优值 $\mathit{opt} = 1/2$，当且仅当每个划分元素 $E_k^\beta$ 的割率均为 $1/2$（$k=1,\dots,4$）时实现。
• 集合 $E_5$ 的割率为 $4/10 < 1/2$，根据引理~\ref{lem:deg-set} 被归类为退化集合。
• 可通过每个 $K_4$ 中取两条边、每条组件间连接取一条边，以及从 $K_5$ 中取超过四条边，构造全连通生成子图 $H$，其割率仍为 $4/10$。
• 子图中可将边 $e_3$ 替换为 $e_1$，意味着包含 $e_1$ 的划分中的边权重必须不少于包含 $e_3$ 的划分中的边权重。
• 对任意边分布 $\alpha$，有 $\alpha(H) \leq \mathit{opt}$，且等式成立当且仅当 $\alpha$ 为强分布，此结论通过不同正权重数量的归纳法证明。
• 归纳证明表明：若 $\alpha(H) = \mathit{opt}$，则 $\alpha$ 必为强分布，通过构造一个具有 $s-1$ 种权重的 $\beta$，使得 $\beta(H') \geq \alpha(H)$，并应用归纳假设。