主动攻击下数字签名的计算可靠性

• 作者: 张超 朱玉娜 王亚弟 范钰丹 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 密码协议 数字签名 计算可靠性
• 年，卷（期）: 2008,（17）
• 所属期刊栏目: 安全技术
• 页码范围: 170-172
• 页数: 3页
• 分类号: TP309
• 字数: 4435字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.17.060

摘要

研究在密码协议仪使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性.借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状念集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立数字签名的计算可靠性,即如数字签名方案满足N-UNF,则符号模型所得到的结果在计算模型中也是正确的.基于该结论,町以构建具有计算可靠性的形式化分析系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	张超	解放军信息工程大学电子技术学院	16	63	4.0	7.0
4	朱玉娜	解放军信息工程大学电子技术学院	9	17	2.0	3.0
5	范钰丹	解放军信息工程大学电子技术学院	12	24	2.0	4.0