利用有限状态机分析TCP协议握手过程的安全问题

• 作者: 刘湘辉 张玲 殷建平 许江
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 有限状态机 模型检测 安全 TCP协议
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 21-23
• 页数: 3页
• 分类号: TP393.08
• 字数: 3451字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2002.04.007

摘要

本文提出一种扩充的有限状态机模型,设计了一种状态空间的搜索算法,并在此模型的基础上,用搜索算法分析了TCP协议握手过程的安全问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷建平	国防科技大学计算机学院	84	762	14.0	21.0
2	刘湘辉	国防科技大学计算机学院	15	140	8.0	11.0
3	许江		4	25	3.0	4.0
4	张玲	国防科技大学计算机学院	4	19	2.0	4.0