摘要
TLS协议是一种重要的传输层安全协议,得到了广泛的应用。在结合串空间理论和方法的基础上,通过构造TLS握手协议的认证测试模型,提出了TLS协议的DH参数签名认证测试方案,分析和证明了协议的保密性和认证性等关键属性。结果表明TLS协议满足其安全性说明。
TLS protocol is an important transport layer security protocol,and is widely used.Based on strand space theory,this paper points out the DH parameter signature certification testing program,analyzes and proves the confidentiality and authentication of the agreement.The result shows that the TLS protocol meets their security statement.
出处
《计算机工程与应用》
CSCD
北大核心
2009年第23期100-103,共4页
Computer Engineering and Applications
关键词
传输层安全协议
认证测试
串空间
形式化分析
Transport Layer Security（TLS） protocol
authentication test
strand space
formalized analysis
作者简介
孔娟（1966-），女，副教授，研究领域为：多媒体信息处理、网络信息安全
曹利培，讲师，研究领域为：SOA、Web服务、形式化和语义等。
