论文部分内容阅读
网络协议簇中，传输控制协议TCP是最重要的协议之一，提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输，并用模型检测工具Spin，验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性．
TCP协议的安全性和活性验证
【摘 要】
：
网络协议簇中，传输控制协议TCP是最重要的协议之一，提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输，并用模型检测工具Spin，验证TCP三次握手协议的安全性与
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报(自然科学版)
【发表日期】
：
2008年1期
其他文献
信息人才是信息化建设的三个要素之一,支撑经济增长的主要因素应为:人力资源、可供利用的物质资源、管理效能和技术水平,因此说,信息人才是实施电子政务的能动力.以下的数据
近年来,流动儿童成为人们关注的热点对象,在流动儿童中还有一群弱势群体需要人们去关心：摊主们的孩子---＂摊二代＂。他们虽已有学上,但出现了价值观偏离、性格扭曲、自我认知失调
<正> 中华搜索宝ChinaSSB是一款专门为中国人编写的互联网信息搜索工具。它结合了传统搜索引擎的优点,采用多线程快速检索技术,准确查找各类网站、网页信息,从而让您提高了上
当前,农村信用社经营形势出现了新的变化,存款继续保持迅猛增长,贷款增长势头放缓,新增存贷比大幅下降,部分观点认为农村贷款需求已趋饱和.为了深入摸清真实情况,笔者通过在
迄今为止,中国已经拥有5000多年的悠久历史,这5000年来中国人已经形成了一套中国人独有的传统文化、审美价值、生活习惯、处事方式。随着社会的发展,智能产物进入社会,我们的生活方式发生了改变,但是我们对理想人居环境的追求,从古至今似乎并未发生太大的变化。我们依旧向往田园的生活,向往大自然,向往东晋陶渊明诗中的桃花源。中国传统园林发展至今,仅仅是变成为了参观对象,实在是大材小用,在古时,中国园林是造
伴随着20世纪90年代以来第五次企业并购热潮在全球的兴起,企业并购再一次成为人们关注的焦点:一方面,随着资本市场的产生和发展,企业并购日趋复杂,从收购、重组、分立,到所有
设△是一个单纯复形,本文证明了I△为稳定理想时,I△c和I△有相同的分次Betti数,投射维数和正则度.