通信顺序进程相关论文
软件定义网络（SDN）为网络赋予了可编程性，降低了网络管理的复杂性，促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备......
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信......
并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无......
目前，软件体系结构的研究主要集中在静态体系结构上。对于一些需要长期运行并具有特殊使命的系统(例如金融系统、航空航天系统等)，如......
一个大型软件的体系结构应该是一个分层次的体系结构，每一层都是该软件的一个体系结构。位于最上层的体系结构是最抽象的，位于最下层......
传统的软件系统维护和调整都是通过停机升级的方式进行的。然而对于航空通讯系统、工业控制系统、医疗生命系统等关键性系统而言，停......
由于协议开发过程中,复杂的协议流程和协议应用场景可能会导致协议描述出现逻辑漏洞,致使整个系统产生逻辑冲突。协议的安全性和可......
进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降......
学位
随着移动计算、普适计算和Web Service等新兴技术的迅速发展，尤其是在Internet成为主流的软件开发环境后，动态软件架构(DynamicSoftw......
随着全球高分对地观测系统、导航定位技术和移动互联网的快速发展,空间数据的增长,地理信息的处理已经发展至大规模时空数据的集成......
工作流作为支持企业经营过程重组、经营过程自动化的一种手段,已在并行工程、办公自动化、计算机集成制造等方面得到了广泛的应用......
本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分......
