TLS协议认证测试模型与形式化分析  

Formalized analysis for authentication test model of TLS

作　　者：孔娟[1] 曹利培[1] 

机构地区：[1]安阳工学院计算机科学与信息工程系,河南安阳455000

出　　处：《计算机工程与应用》2009年第23期100-103,共4页Computer Engineering and Applications

摘　　要：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.

关 键 词：传输层安全协议 认证测试 串空间 形式化分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]