首页 | 本学科首页   官方微博 | 高级检索  
     

利用有限状态机分析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全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号