| 非否认协议形式化分析技术 |
| |
| 引用本文： | 范钰丹,韩继红,王亚弟,赵宇.非否认协议形式化分析技术[J].计算机应用,2006,26(11):2610-2614. |
| |
| 作者姓名： | 范钰丹 韩继红 王亚弟 赵宇 |
| |
| 作者单位： | 信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 对目前现有的非否认协议的几种形式化分析方法进行了分析和比较，指出了它们的优缺点，最后提出了进一步的研究方向。
|
| 关 键 词： | 非否认协议 形式化分析 公平性 |
| 文章编号： | 1001-9081（2006）11-2610-05 |
| 收稿时间： | 2006-05-16 |
| 修稿时间： | 2006-05-162006-07-15 |
Formal analysis technology of non-repudiation protocols |
| |
| FAN Yu-dan,HAN Ji-hong,WANG Ya-di,ZHAO Yu.Formal analysis technology of non-repudiation protocols[J].journal of Computer Applications,2006,26(11):2610-2614. |
| |
| Authors: | FAN Yu-dan HAN Ji-hong WANG Ya-di ZHAO Yu |
| |
| Affiliation: | Institute of Electronic Technology, Information Engineering University, Zhengzhou Henan 450004, China |
| |
| Abstract: | Some kinds of present formal methods of non-repudiation protocols were studied and compared. Their advantages and disadvantages were discussed. Finally, study for future development was suggested. |
| |
| Keywords: | non-repudiation protocol formal analysis fairness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
