| 基于状态机学习算法的TLS实现库安全性分析 |
| 毕兴;唐朝京; |
| 关键词：有限状态机;安全协议分析;传输层安全协议 |
| 主要内容：通过状态机学习算法,可以提取传输层安全(transport layer security,TLS)协议的实现库状态机模型来分析其安全性。当前在状态机学习中需要解决状态机学习时间随目标系统状态数增长而呈指数级增长的问题。提出一种改进的状态机学 |
| 《系统工程与电子技术》 2018,40(12):2810-2815 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号