论文部分内容阅读
基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为了能高效而又细致地对协议进行检测、证明和设计, 模型提出了适用于所有公平交换协议的不可滥用性的新性质, 给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则. 文中通过一个典型的公平交换协议分析实例, 阐明了使用该模型分析公平交换协议的详细步骤. 发现了一种过去从未发现过的新攻击, 给出了攻击发生时系统运行的全过程, 深刻揭示了攻击发生的各种原因. 最后, 对有缺陷的协议进行了改进, 改进后的协议满足所需要的各种性质.
Based on the research on the existing fair exchange protocol, an accurate formalized structure model is established by using the refinement process, in which untrusted channels are used to simulate the attack behavior.The model is formally given the formal definition of exchange terms for the first time Fairness and accountability can reflect the internal requirements of the fair exchange more completely.In order to detect, prove and design the protocol efficiently and carefully, the model proposes the non-abuseable This paper gives a definition of trustworthy string of third parties and a general guideline for designing a secure and efficient fair exchange protocol.This paper analyzes a typical example of a fair exchange protocol and illustrates the detailed steps of using the model to analyze the fair exchange protocol. A new kind of attack never seen in the past is given, the whole process of system operation is given when the attack occurs, and the various causes of the attack are deeply revealed.Finally, the defective protocol is improved and the improved protocol is satisfied The various properties required.