论文部分内容阅读
本文提出一种扩充的有限状态机模型,设计了一种状态空间的搜索算法,并在此模型的基础上,用搜索算法分析了TCP协议握手过程的安全问题.
利用有限状态机分析TCP协议握手过程的安全问题
【摘 要】
：
本文提出一种扩充的有限状态机模型,设计了一种状态空间的搜索算法,并在此模型的基础上,用搜索算法分析了TCP协议握手过程的安全问题.
【机 构】
：
国防科技大学计算机学院,天一银河信息产业有限公司
【出 处】
：
计算机工程与科学
【发表日期】
：
2002年4期
其他文献
修井机是油田进行修井作业的必须设备，其中井架为油田修井机用于更换油管和抽油杆的关键部件。修井机井架一般为伸缩杆式的桅型结构井架，承受的工作载荷较为复杂，不仅承受天车和
本文首先讨论了TIS FWTK在安全性、运行效率以及系统功能等方面存在的不足，从而引出了FW2000的整体设计思想，进一步具体讨论了主要模块的设计原理与实现方法。文章最后针对FW20
现将国家食品药品监督管理局<关于印发<疫苗经营监督管理意见>的通知>(国食药监市[2005]278号)转发给你们,并结合我省实际制定了<山东省疫苗经营企业验收实施标准(试行)>,请
<正>豆浆晶是近几年才开发出来的豆制品,营养丰富,含有人体需要的各种蛋白质及各种微量元素和维生素,颇受群众喜爱.要使豆浆晶蛋白质含量高、溶解度好、无豆腥味,需掌握
肾脏纤维化是慢性肾脏病进展的主要病理生理因素，可缓慢、进行性发展至终末期肾脏病，给社会及家庭带来沉重的经济负担。黄芪甲苷(Astragaloside IV,AS-IV)是中药黄芪的主要有效
随着教改的全面深入,高中数学教学需要在更新教学理念的基础上,实现教学方法的创新,以调动学生的兴趣与积极性,明确学生的课堂主体地位,进而在提高课堂教学质量与效率的同时,
当前 ,高清晰度电视正在逐步普及 ,现行的硬盘播放系统主要是面向压缩的视频流 ,不能很好地满足高清晰度电视对画面质量的要求。因此 ,面向无压缩视频流的硬盘播放系统将会成为主流。该文针对无压缩视频流播放的独有特点 ,设计了面向无压缩视频流的视频播放系统