您当前的位置：
首页 >
文章列表页 >
一个非否认协议ZG的形式化分析
一个非否认协议ZG的形式化分析
Formal Analysis of a Non-Repudiation Protocol ZG
- 电子学报 2005年33卷第1期 页码：171-173
移动端阅览
HTML全文
参考文献
出版信息
数据统计
88
浏览量
1139
下载量
7
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
基于SmartVerif的比特币底层协议算力盗取漏洞发现
Dining Cryptographer安全协议及工程分析
多方不可否认协议时限性分析与改进
安全协议的时限责任分析
电子商务协议的公平性
相关作者
熊焰
黄文超
陈凯杰
汪万森
孟昭逸
徐晓峰
方贤进
包象琳
相关机构
安徽工程大学计算机与信息学院
中国科学技术大学计算机科学与技术学院
安徽理工大学计算机科学与工程学院
南京大学数学系
Paderborn大学计算机系,D
