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

doi:10.3778/j.issn.1002-8331.2009.23.028

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (23): 100-103.DOI: 10.3778/j.issn.1002-8331.2009.23.028

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

^{孔娟，曹利培}

安阳工学院计算机科学与信息工程系，河南安阳 455000

收稿日期:2009-03-23 修回日期:2009-05-26 出版日期:2009-08-11 发布日期:2009-08-11
通讯作者: 孔娟

Formalized analysis for authentication test model of TLS

^{KONG Juan，CAO Li-pei}

Department of Computer Engineering，Anyang Institute Technology，Anyang，Henan 455000，China

Received:2009-03-23 Revised:2009-05-26 Online:2009-08-11 Published:2009-08-11
Contact: KONG Juan

摘要/Abstract

摘要：

TLS协议是一种重要的传输层安全协议，得到了广泛的应用。在结合串空间理论和方法的基础上，通过构造TLS握手协议的认证测试模型，提出了TLS协议的DH参数签名认证测试方案，分析和证明了协议的保密性和认证性等关键属性。结果表明TLS协议满足其安全性说明。

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

Abstract:

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.

Key words: Transport Layer Security（TLS） protocol, authentication test, strand space, formalized analysis

中图分类号:

TP393

^{孔娟，曹利培}

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

[J]. 计算机工程与应用, 2009, 45(23): 100-103.

^{KONG Juan，CAO Li-pei}

Formalized analysis for authentication test model of TLS

[J]. Computer Engineering and Applications, 2009, 45(23): 100-103.

[1]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[2]	马远佳1，刘道微2. 一种改进的满足后向安全的RFID双向认证协议[J]. 计算机工程与应用, 2017, 53(9): 136-140.
[3]	秦嫚蔓，王峥，王莉. 基于SPIN的远程证明协议的形式化分析及改进[J]. 计算机工程与应用, 2017, 53(1): 34-38.
[4]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[5]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[6]	刘永磊1，2，金志刚3. 无线局域网WPS安全性分析[J]. 计算机工程与应用, 2013, 49(21): 87-89.
[7]	余磊，魏仕民. 网络管理中一种互认证密码协议的安全性分析[J]. 计算机工程与应用, 2012, 48(4): 94-96.
[8]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[9]	李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.
[10]	曹利峰1，陈性元1，杜学绘1，王怀鹏2. 一个多级安全通道建立协议及安全性分析[J]. 计算机工程与应用, 2012, 48(20): 117-122.
[11]	邓帆，邓少锋，李益发. 标准模型下可证安全的认证密钥协商协议[J]. 计算机工程与应用, 2011, 47(13): 106-109.
[12]	李廷元1，2，秦志光1，刘晓东2，张选芳2. Needham-Schroeder 协议的认证测试方法形式化分析[J]. 计算机工程与应用, 2010, 46(19): 100-102.
[13]	周佳骏^１，马瑞兴^２，王峰³，李肖坚^3，4. 蠕虫智能扩散形式化分析及权策略算法实现[J]. 计算机工程与应用, 2010, 46(13): 90-94.
[14]	马宇驰，赵远，邓依群，李益发. 基于CPK的可信平台用户登录认证方案[J]. 计算机工程与应用, 2010, 46(1): 90-94.
[15]	张艳，王赜. 增强EAP-AKA协议安全性的改进方案[J]. 计算机工程与应用, 2009, 45(28): 96-98.

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

Formalized analysis for authentication test model of TLS

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics