10.3321/j.issn:1002-8331.2007.21.003
密码协议形式化分析的计算合理性
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理.通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性.
形式化方法、计算方法、合理性定理、密码协议分析
43
TP393(计算技术、计算机技术)
国家重点基础研究发展计划973计划TG1999035801
2007-08-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
8-11