基于Tamarin的门罗币支付协议分析方法.pdfVIP

理论研究2024年第5期

doi：10.3969/j.issn.1671-1122.2024.05.009

基于Tamarin的门罗币支付协议分析方法

李雨昕，黄文超，王炯涵，熊焰

（中国科学技术大学计算机科学与技术学院，合肥230026）

摘要：门罗币作为一款基于区块链技术的高度匿名加密货币协议，旨在为用户

提供强大的隐私保护功能。与其他加密货币不同，门罗币通过独特的支付协议对用户

的交易隐私加强保护。然而，支付协议中存在的安全漏洞可能导致攻击者对交易信息

进行分析或拦截，从而威胁用户的隐私安全。目前，对门罗币支付协议的研究主要集

中在对匿名性漏洞的攻击，大部分攻击从外部特征出发，缺少对门罗币机制进行探索，

不能充分保障支付过程的安全性和不可追踪性。因此需要进行更系统化的分析，以全

面评估门罗币支付协议的安全性和不可追踪性。文章从模型规则、属性定义等角度对

门罗币支付协议进行细粒度建模，并运用已有的Tamarin工具对相关属性进行验证，研

究结果揭示了多个门罗币支付协议漏洞，并给出优化建议。

关键词：门罗币；Tamarin；支付协议；符号模型

中图分类号：TP309文献标志码：A文章编号：1671-1122（2024）05-0756-11

中文引用格式：李雨昕，黄文超，王炯涵，等.基于Tamarin的门罗币支付协议分析方法[J].信息网络安全，

2024，24（5）：756-766.

英文引用格式：LIYuxin,HUANGWenchao,WANGJionghan,etal.AnalysisMethodofMoneroPayment

ProtocolBasedonTamarin[J].NetinfoSecurity,2024,24(5):756-766.

AnalysisMethodofMoneroPaymentProtocolBasedonTamarin

LIYuxin,HUANGWenchao,WANGJionghan,XIONGYan

(School of Computer Science and Technology,UniversityofScienceandTechnologyofChina,Hefei230026,China)

Abstract:Monero,asahighlyanonymouscryptocurrencyprotocolbasedon

blockchaintechnology,aimstoproviderobustprivacyprotectionforusers.Unlikeother

cryptocurrencies,Monroecoinenhancesusertransactionprivacyprotectionthroughits

uniquepaymentprotocol.However,securityvulnerabilitieswithinthepaymentprotocol

mayleadattackerstoanalyzeorintercepttransactioninformation,therebyposingathreat

touserprivacy.Currently,researchontheMoneropaymentprotocolprimarilyfocuseson

attackstargetinganonymityvulnerabilities,ofte