10.13682/j.issn.2095-6533.2016.01.005
WTLS握手协议后向安全性分析及改进
通过应用π演算建模分析WTLS握手协议,得出其存在密钥泄露的缺陷,并加以改进.在密钥协商过程中使用幂运算处理随机数,并用RSA加密算法对所建立的预主密钥进行加密,以确保在私钥泄露的情况下,攻击者无法获取以后的会话密钥.利用ProVerif工具对改进后的WTLS握手协议进行验证,结果显示其满足后向安全性.
应用π演算、WTLS握手协议、后向安全性、ProVerif
21
TP393(计算技术、计算机技术)
国家自然科学基金资助项目61305083
2016-06-03(万方平台首次上网日期,不代表论文的发表时间)
共8页
25-32