2、恐怖欺诈建模分析

恐怖欺诈建模分析

在安全协议领域，恐怖欺诈（Terrorist Fraud）是一个备受关注的问题。本文将深入探讨几种相关的安全协议，分析它们在抵抗恐怖欺诈方面的特性和存在的问题。

1. 安全概念的发展

最初，在验证者 (V) 和攻击者 (A) 的快速交换过程中，恶意证明者 (P^*) 和攻击者 (A) 不允许进行交互。有研究表明，现有的协议基本上都不具备 SimTF 安全性，有人认为这可能是该概念过于严格所致。

随后，通过改变受污染会话（tainted session）的概念，SimTF 概念得到了进一步强化，形成了 strSimTF 概念。在这个强化概念中，在距离界定阶段 (P^ ) 和 (A) 可以交互，但不允许存在任何经过 (V - A - P^ - A - V) 循环的单轮快速比特交换。

2. GameTF 安全性

Fischlin 和 Onete 提出了一个较弱的概念——GameTF 安全性。

• 定义 ：令 (Adv_{MF}) 是验证者在黑手党欺诈（mafia - fraud）攻击中接受的最佳概率（取所有复杂度和对证明者 (P) 与验证者 (V) 查询次数有限的攻击者的最大值）。如果进行一个实验，使用 (V)、(A) 和 (P^ ) 且无受污染会话，然后进行第二个实验，使用 (V)、(A’) 和 (P)，其中 (A’) 用 (A) 的最终视图初始化且无受污染会话，使得 (V) 接受的概率 (P_{A’}) 大于 (Adv_{MF})（(A’) 必须满足 (Adv_{MF}) 的复杂度界限），则恐怖欺诈 ((P^