基于状态机学习算法的TLS实现库安全性分析

• 作者: 唐朝京 毕兴
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 有限状态机 安全协议分析 传输层安全协议
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 通信与网络
• 页码范围: 2810-2815
• 页数: 6页
• 分类号: TP393.08
• 字数: 6521字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2018.12.27

摘要

通过状态机学习算法,可以提取传输层安全(transport layer security,TLS)协议的实现库状态机模型来分析其安全性.当前在状态机学习中需要解决状态机学习时间随目标系统状态数增长而呈指数级增长的问题.提出一种改进的状态机学习算法,通过TLS协议特定套接字约简所需测试序列;结合检查点算法构造测试序列的前缀树,简化目标系统对测试序列测试步骤.测试结果表明,提出的改进算法能够大幅减少状态机学习过程生成的等价查询数量,加速状态机学习过程.同时通过学习到的状态机模型,分析其异常状态,找到一个OpenSS1的逻辑错误,证明学习到的模型是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐朝京	国防科技大学电子科学学院	97	885	15.0	24.0
2	毕兴	国防科技大学电子科学学院	1	1	1.0	1.0