主动攻击下公钥加密的计算可靠性研究

• 作者: 王文涛
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 密码协议 符号方法 计算方法 公钥加密 计算可靠性
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 网络安全
• 页码范围: 28-30
• 分类号: TN918.2
• 字数: 3395字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2011.05.012

摘要

本文引入公钥加密方案的新安全定义N-PAT,最后针对协议的迹性质与秘密性证明了扩展后方法的可靠性,即如公钥加密方案满足N-pAT,则符号形式化分析系统或者该系统所得到的结论在计算模型中也是正确的.