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

• 作者: 孔娟 曹利培
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 传输层安全协议 认证测试 串空间 形式化分析
• 年，卷（期）: 2009,（23）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 100-103
• 页数: 4页
• 分类号: TP393
• 字数: 5344字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.23.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹利培	安阳工学院计算机科学与信息工程系	9	50	3.0	7.0
2	孔娟	安阳工学院计算机科学与信息工程系	14	44	4.0	6.0