| 一种新的双方不可否认密码协议及其形式化分析 |
| |
| 引用本文： | 桑永宣,曾吉文.一种新的双方不可否认密码协议及其形式化分析[J].厦门大学学报(自然科学版),2008,47(5). |
| |
| 作者姓名： | 桑永宣 曾吉文 |
| |
| 作者单位： | 厦门大学数学科学学院,福建,厦门,361005 |
| |
| 摘 要： | 不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击.冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.
|
| 关 键 词： | 不可否认密码协议 可信第三方 SVO逻辑 形式化分析 |
A New Mutually Undeniable Cryptographic Protocol and Its Formal Analysis |
| |
| SANG Yong-xuan,ZENG Ji-wen.A New Mutually Undeniable Cryptographic Protocol and Its Formal Analysis[J].Journal of Xiamen University(Natural Science),2008,47(5). |
| |
| Authors: | SANG Yong-xuan ZENG Ji-wen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
