10.3969/j.issn.1000-3428.2008.17.060
主动攻击下数字签名的计算可靠性
研究在密码协议仪使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性.借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状念集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立数字签名的计算可靠性,即如数字签名方案满足N-UNF,则符号模型所得到的结果在计算模型中也是正确的.基于该结论,町以构建具有计算可靠性的形式化分析系统.
密码协议、数字签名、计算可靠性
34
TP309(计算技术、计算机技术)
2008-12-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
170-172