收藏本站
收藏 | 论文排版

基于有限状态机的IP协议研究

苗志锋  
【摘要】:随着计算机网络、通信网络以及分布式系统的不断发展,通信协议日渐复杂化。形式化技术和方法在网络协议设计中占有举足轻重的作用。 本文对在网络通信协议设计中的模型方法进行了研究。归纳总结了形式化模型、形式化描述方法以及形式化综合方法,通信服务和协议的构造方法。 文章主要由六部分构成: 绪论部分介绍了研究的问题、背景及相关知识; 第二章介绍了有限状态机的相关理论、扩展及对协议模型方法; 第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。针对ESTELLE描述通道的局限性,给出了一个描述广播通道的扩展; 第五章到第七章,首先详细分析了TFTP协议,包括用到的容错机制;给出其状态机模型以及改进的状态机模型;并使用ESTELLE描述。 第八章论述了形式化综合方法,仍在研究的一种方法。 最后是论文总结。


知网文化
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978