| spi演算证明协议非可否认性 |
| |
| 引用本文： | 李 援,蒋建国,王焕宝. spi演算证明协议非可否认性[J]. 通信学报, 2009, 30(5): 94-98 |
| |
| 作者姓名： | 李 援 蒋建国 王焕宝 |
| |
| 作者单位： | 1. 合肥工业大学,计算机与信息学院,安徽,合肥,230009
2. 安徽建筑工业学院,数理系,安徽,合肥,230022 |
| |
| 基金项目： | 国家自然科学基金，教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明.通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围.
|
| 关 键 词： | spi演算 非可否认 公平性 消息起源测试 |
Formal analysis of non-repudiation protocol by spi |
| |
| LI Yuan,JIANG Jian-guo,WANG Huan-bao. Formal analysis of non-repudiation protocol by spi[J]. Journal on Communications, 2009, 30(5): 94-98 |
| |
| Authors: | LI Yuan JIANG Jian-guo WANG Huan-bao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
