×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
Toggle navigation
我要投稿
首页
关于期刊
期刊简介
编委会成员
编委会章程
读者中心
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
E-mail Alert
RSS
作者中心
作者投稿
作者查稿
投稿须知
文件下载
审稿中心
专家审稿
编辑办公
主编办公
期刊订阅
联系我们
English
一种比特币支付协议的形式化建模验证方法
王炯涵, 黄文超, 汪万森, 熊焰,
A Formal Modeling and Verification Method for Bitcoin Payment Protocol
信息安全研究 . 2024, (
4
): 311 .
