【摘 要】
：
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协议形式化理论的发展.该论文的主要工作包括:1
论文部分内容阅读
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协议形式化理论的发展.该论文的主要工作包括:1.研究和分析比较了目前常用的协议形式化描述技术的特点.2.深入研究和分析了CSP的背景和特点.3.通过实例深入研究了协议的CSP模型的具体描述,总结了用CSP建立模型的大概方法.4.针对一种新的形式化描述方法RSL的特点,我们研究出一套从CSP模型到RSL语言转换的规则和步骤,将协议模型和协议描述语言紧密结合.5.对CSP在协议验证上作了初步的研究,用严密的代数演算方法验证协议性质.并且针对CSP的不足,对它进行扩充,使它能够更方便的用于协议描述.6.该文还对FSM模型到CSP模型的转化以及测试用例的生成作了初步的研究.
其他文献
随着Internet及网络经济的快速发展,传统的企业网已很难适应现代企业自身发展的需要,于是企业在自身网络的扩展性、安全性等方面提出了更多的要求.虚拟专用网VPN以其独具特色
随着信息时代的到来,移动通信网络和互联网技术迅猛发展普及.人们越来越希望能够快捷方便地、随时随地地获取信息.短消息服务业务SMS(Short Message Service)作为GSM网络的一
随着电信技术和计算机技术的迅猛发展,移动运营商和用户对BOSS(业务运营支撑系统)的性能以及业务种类的要求也越来越高.BOSS系统的建设规模和投资规模非常庞大,作为运营商,为
随着商务活动日趋频繁和企业信息化程度的提高，有越来越多的信息积累，其中大部分均以时态数据形式存在。这样，时态数据挖掘作为数据挖掘的一个新的课题出现，引起了人们极大的兴趣
随着计算机和网络在日常工作中的广泛应用，工作流技术成为协调企业业务过程、增强企业应变能力和竞争力的重要技术。作为工作流技术的软件载体，工作流管理系统WfMS(Workflow Management System)的主要目标是通过调用有关信息资源与人力资源宋协调业务流程中的各个环节，使之按照一定的顺序依次执行，从而实现业务流程的自动化。 目前国内外虽然已经有了很多工作流管理系统的产品和原型系统
随着internet和Intranet技术的广泛应用，数据存储不仅在容量上爆炸性增长而且对于存储系统的要求也越来越高。作为一种新的网络概念——SAN(Storage Area Network)应运而生。
该文首先介绍了电子商务交易系统的安全技术,讨论了建立网上安全信任机制的基础一现代密码学,对电子交易中广泛采用的安全在线支付协议SSL(SecureSocketsLayer,安全套接层协
软件技术发展到今天，已是相当成熟的规模，其复杂而具有吸引力的软件开发过程则是软件技术不断发展的重要因素之一。在该过程中我们不仅可能摒弃原有落后的软件技术，而且在新的实
随着国民经济的发展，银行自助设备的需求迅速增长，在不断提高银行系统的可靠性和服务质量的同时，需要尽可能地降低管理成本，提高工作效率。传统的监控管理系统只能为技术人员提供