通信顺序进程相关论文
软件定义网络（SDN）为网络赋予了可编程性，降低了网络管理的复杂性，促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备......
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信......
并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无......
目前，软件体系结构的研究主要集中在静态体系结构上。对于一些需要长期运行并具有特殊使命的系统(例如金融系统、航空航天系统等)，如......
一个大型软件的体系结构应该是一个分层次的体系结构，每一层都是该软件的一个体系结构。位于最上层的体系结构是最抽象的，位于最下层......
传统的软件系统维护和调整都是通过停机升级的方式进行的。然而对于航空通讯系统、工业控制系统、医疗生命系统等关键性系统而言，停......
由于协议开发过程中,复杂的协议流程和协议应用场景可能会导致协议描述出现逻辑漏洞,致使整个系统产生逻辑冲突。协议的安全性和可......
进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降......
学位
随着移动计算、普适计算和Web Service等新兴技术的迅速发展，尤其是在Internet成为主流的软件开发环境后，动态软件架构(DynamicSoftw......
随着全球高分对地观测系统、导航定位技术和移动互联网的快速发展,空间数据的增长,地理信息的处理已经发展至大规模时空数据的集成......
工作流作为支持企业经营过程重组、经营过程自动化的一种手段,已在并行工程、办公自动化、计算机集成制造等方面得到了广泛的应用......
本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分......
软件定义网络(Software-Defined Networking,SDN)是一种新兴的网络架构,能够解决传统网络层级复杂,以至难以管理和创新的问题。该......
传达顺序的过程(CSP ) 是一种过程代数学，它对当模特儿合适；验证万维网服务作文。这篇论文描述怎么与 CSP 为万维网服务 compositiob......
物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心......
增量ETL过程的并行化是提高ODS数据实时性的有效途径。结合通信顺序进程理论研究了增量ETL过程模型,形式化分析了增量ETL过程事件......
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。......
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采......
安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种......
模型检测是通信顺序进程（communicating sequential processes,简称CSP）形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需......
基于Parlay业务规范的开放业务技术是下一代网络研究的重要内容.虽然Parlay业务规范目前已经被电信界普遍接受,但是,Parlay业务规......
隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义，以利于分析和制定系统的隔离策略；利用......
传统并发通信顺序进程（CSP）性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系......
在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥......
工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出......
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化......
Web services组合是Web services领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Web services组合,则是一......
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSI......
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进......
针对现有模型检测工具对活性描述不足、模型转换复杂,提出一种基于ASP及稳定失败语义的CSP模型检测方法。该方法采用时态逻辑LTL刻......
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异......
针对网络故障的复杂性和多样性，对网络故障管理的形式化描述进行了研究。基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究......
提出了一种基于通信顺序进程(CSP)理论的协议组合模型.该模型将协议表示为协议实体的组合,使得协议模型可以表示分解为协议实体层......
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并......
通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制......
对一个开源的、主流的虚拟机监控器Xen进行了优化研究。用通信顺序进程(CSP)和软件体系结构等形式化方法描述了Xen的块设备I/O体系......
在不干扰理论的基础上，提出扩展不干扰模型ENISM及其验证方法，用以描述和分析操作系统中的信息流策略．工作包括：（1）依据系统功能模块定义......
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求，深入研究了适于描述多方并发网络交互的形式化建模方法．首......
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规......
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定......
人机交互（HCI）技术的迅猛发展为自然高效和谐的HCI提供了基础支持，随着HCI行为的日益复杂，如何验证其过程的正确性成为研究HCI领域的重......
分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的......
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记......
CTCS-4级是完全基于无线通信的列车运行控制系统,通过GSM-R接收指挥中心与RBC间的行车和授权信息。列车控制系统的安全运行与GSM-R......
IEC 61850智能电子设备(IED)间的互操作是IEC 61850实施的关键。为解决在IED生产后对其进行互操作性测试成本高和测试周期长的问题......
动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不......
针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模......
