# How Do Smart Contracts Benefit Security Protocols?

arXiv: https://arxiv.org/abs/2202.08699 · HTML: https://mlsanity.com/paper/2202.08699/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 Feb 2022.

## Built on by (most cited first, 2 of 2)

- [Is Your AI Truly Yours? Leveraging Blockchain for Copyrights, Provenance, and Lineage](https://mlsanity.com/paper/2404.06077/) (2024)
- [Blockchain-Empowered Trustworthy Data Sharing: Fundamentals, Applications, and Challenges](https://mlsanity.com/paper/2303.06546/) (2023)

## Abstract (arXiv)

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 textitstate 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 (textitnon-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.