10.3778/j.issn.1002-8331.2009.23.028
TLS协议认证测试模型与形式化分析
TLS协议是一种重要的传输层安全协议,得到了广泛的应用.在结合串空间理论和方法的基础上,通过构造TLS握手协议的认证测试模型,提出了TLS协议的DH参数签名认证测试方案,分析和证明了协议的保密性和认证性等关键属性.结果表明TLS协议满足其安全性说明.
传输层安全协议、认证测试、串空间、形式化分析
45
TP393(计算技术、计算机技术)
2009-09-28(万方平台首次上网日期,不代表论文的发表时间)
共4页
100-103