| 利用有限状态机分析TCP协议握手过程的安全问题 |
| |
| 引用本文： | 刘湘辉,殷建平,张玲,许江. 利用有限状态机分析TCP协议握手过程的安全问题[J]. 计算机工程与科学, 2002, 24(4): 21-23 |
| |
| 作者姓名： | 刘湘辉 殷建平 张玲 许江 |
| |
| 作者单位： | 1. 国防科技大学计算机学院,湖南,长沙,410073
2. 天一银河信息产业有限公司,湖南,长沙,410013 |
| |
| 基金项目： | 国家自然科学基金重点资助项目 (6993 3 0 3 0 ) |
| |
| 摘 要： | 本文提出一种扩充的有限状态机模型，设计了一种状态空间的搜索处法，并在此模型的基础上，用搜索算法分析了TCP协议握手过程的安全问题。
|
| 关 键 词： | 有限状态机分析 TCP协议 安全问题 模型检测 通信协议 计算机网络 |
| 文章编号： | 1007-130X(2002)04-0021-03 |
The Security Problems in Analysing the Hand-Shaking Process of TCP Protocols Using the Finite-State Machine |
| |
| LIU Xiang hui ,YIN Jian ping ,ZHANG Ling ,XU Jiang. The Security Problems in Analysing the Hand-Shaking Process of TCP Protocols Using the Finite-State Machine[J]. Computer Engineering & Science, 2002, 24(4): 21-23 |
| |
| Authors: | LIU Xiang hui YIN Jian ping ZHANG Ling XU Jiang |
| |
| Affiliation: | LIU Xiang hui 1,YIN Jian ping 1,ZHANG Ling 1,XU Jiang 2 |
| |
| Abstract: | This paper proposes an expanded finite state machine model, presents a search algorithm to search state space, and analyses the security problems based on this model in the hand shaking process of TCP protocols by using the algorithm. |
| |
| Keywords: | finite state machine model checking security TCP protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载免费的PDF全文 |
