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

The Security Problems in Analysing the Hand Shaking Process of TCP Protocols Using the Finite State Machine

作　　者：刘湘辉[1] 殷建平[1] 张玲[1] 许江 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073 [2]天一银河信息产业有限公司,湖南长沙410013

出　　处：《计算机工程与科学》2002年第4期21-23,共3页Computer Engineering & Science

基　　金：国家自然科学基金重点资助项目 (6993 3 0 3 0 )

摘　　要：本文提出一种扩充的有限状态机模型 ,设计了一种状态空间的搜索算法 ,并在此模型的基础上 ,用搜索算法分析了TCP协议握手过程的安全问题。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.

关 键 词：有限状态机分析 TCP协议 安全问题 模型检测 通信协议 计算机网络 

分 类 号：TN915.04[电子电信—通信与信息系统] TP393[电子电信—信息与通信工程]