| 主动攻击下数字签名的计算可靠性 |
| |
| 引用本文： | 朱玉娜,王亚弟,韩继红,张超,范钰丹.主动攻击下数字签名的计算可靠性[J].计算机工程,2008,34(17):170-172. |
| |
| 作者姓名： | 朱玉娜 王亚弟 韩继红 张超 范钰丹 |
| |
| 作者单位： | 解放军信息工程大学电子技术学院,郑州,450004;解放军信息工程大学电子技术学院,郑州,450004;解放军信息工程大学电子技术学院,郑州,450004;解放军信息工程大学电子技术学院,郑州,450004;解放军信息工程大学电子技术学院,郑州,450004 |
| |
| 摘 要： | 研究在密码协议仅使用数字签名原语时，主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法，分别引入符号模型和计算模型中的协议运行状态集合，通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系，建立数字签名的计算可靠性，即如数字签名方案满足N-UNF，则符号模型所得到的结果在计算模型中也是正确的。基于该结论，可以构建具有计算可靠性的形式化分析系统。
|
| 关 键 词： | 密码协议 数字签名 计算可靠性 |
| 修稿时间： | |
Computational Soundness of Digital Signature in Presence of Active Adversaries |
| |
| ZHU Yu-na,WANG Ya-di,HAN Ji-hong,ZHANG Chao,FAN Yu-dan.Computational Soundness of Digital Signature in Presence of Active Adversaries[J].Computer Engineering,2008,34(17):170-172. |
| |
| Authors: | ZHU Yu-na WANG Ya-di HAN Ji-hong ZHANG Chao FAN Yu-dan |
| |
| Affiliation: | (Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004) |
| |
| Abstract: | This paper extends previous results bridging the gap between the symbol approach and the computational approach. Specifically, for the case of protocols that use signatures, based on the Micciancio-Warinschi method, the soundness of digital signature with respect to the computational model is established, i.e. if digital signature scheme is N-UNF, then the results obtained form the symbolic model carry over to the computational model. Based on this conclusion, a formal system with computational soundness can be consructed. |
| |
| Keywords: | cryptographic protocols digital signature computational soundness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
