论文标题
智能合约如何使安全协议受益？
How Do Smart Contracts Benefit Security Protocols?
论文作者
论文摘要
智能合约最近已被许多安全协议采用。但是，现有研究缺乏令人满意的理论支持，即合同如何使安全协议受益。本文旨在对基于智能合约（SC）的安全协议进行系统分析，以满足不清楚的论点和陈述的差距。我们首先研究\ textIt {TextIt {最新研究}，并建立具有定义明确的语法和假设的智能合约协议的形式化模型。然后，我们将正式框架应用于两个具体说明，以探索相应的优势和理想的属性。通过我们的分析，我们抽象了三个通用属性（\ textIt {非替代，非等级和非富度范围的}），并因此识别了两种模式。 （1）智能合同可以作为自治用户，以协助受信任的第三方（TTP）； （2）智能合约可以替代传统的TTP。据我们所知，这是第一项从严格的理论角度提供基于SC的安全协议的深入讨论的研究。
Smart contracts have recently been adopted by many security protocols. However, existing studies lack satisfactory theoretical support on how contracts benefit security protocols. This paper aims to give a systematic analysis of smart contract (SC)-based security protocols to fulfill the gap of unclear arguments and statements. We firstly investigate \textit{state of the art studies} and establish a formalized model of smart contract protocols with well-defined syntax and assumptions. Then, we apply our formal framework to two concrete instructions to explore corresponding advantages and desirable properties. Through our analysis, we abstract three generic properties (\textit{non-repudiation, non-equivocation, and non-frameability}) and accordingly identify two patterns. (1) a smart contract can be as an autonomous subscriber to assist the trusted third party (TTP); (2) a smart contract can replace traditional TTP. To the best of our knowledge, this is the first study to provide in-depth discussions of SC-based security protocols from a strictly theoretical perspective.
