J4 ›› 2002, Vol. 24 ›› Issue (4): 21-23.
• 论文 • 上一篇 下一篇
刘湘辉[1] 许江[2] 等
出版日期:
发布日期:
Online:
Published:
摘要：
本文提出一种扩充的有限状态机模型，设计了一种状态空间的搜索处法，并在此模型的基础上，用搜索算法分析了TCP协议握手过程的安全问题。
关键词: 有限状态机分析 TCP协议 安全问题 模型检测 通信协议 计算机网络
刘湘辉[1] 许江[2] 等. 利用有限状态机分析TCP协议握手过程的安全问题[J]. J4, 2002, 24(4): 21-23.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2002/V24/I4/21
