进程演算相关论文
移动分布式系统中的计算描述的是如何向分布在不同位置的用户提供高质量的信息服务,目前已经被广泛地应用于教育科研、国防军事、......
本文对用进程演算建模生物化学反应过程进行了研究。文章以两类典型的生物化学反应“聚合反应和酶促反应”为例，介绍了如何用进程演......
作为计算机科学理论的一个重要分支，进程演算（也称为进程代数）在并发和交互式系统的建模和验证方面有广泛的应用。与此同时，新的应用场......
进程演算从20世纪80年代Milner的CCS交互模型开始已有30年光景.期间成百上千的模型和等价关系被提出来,研究也深入了相关的各个分......
本文研究了SSL协议的协议栈结构，重点分析了SSL3.0安全协议中的握手过程。在此基础上，基于CSP(Communicating Sequential Processe......
随着网络技术的应用逐步渗透到许多关键部门，以及电子商务的兴起与广泛应用，信息安全已变得日益重要。安全协议是信息安全的基础，但其......
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等主要特征的并发分布式系统已成为计算机......
随着计算机网络的发展,信息安全问题已变得日益重要。信息的安全性已经不是仅仅依赖一个好的加密算法就可以得以解决的问题,它需要......
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意......
在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题.电子机构为分析该类问题提供了一种较好的概念框架,但......
本文介绍了安全协议和进程演算的一些基本知识,探讨和分析了基于进程演算分析安全协议的各种方法,以及将来的发展方向.......
随着Web服务技术和面向服务的体系结构(SOA)的发展，运行时互操作已经不再是一个难题。但是，这就要求软件开发必须从使用本地丰富的内......
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证.......
可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自......
可证安全是一种通过严格证明确保密码体制安全性的形式化方法，但由于其证明结论严重依赖于证明者个人的经验和技巧，这一方法本身的可......
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。首先扩展了进程演算中的Spi演算,并......
给出了进程归约语义的一般方法，并用例子说明归约语义和转换语义的对应关系。...
基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O（mn）.......
为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型（CCS）表示有界Petri网的方法.对于任意的有界Place/Transition......
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。该文用多价演算来描述面向电子商务的Agent间的通......
由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与......
在当前安全协议形式化分析的研究中，亟待解决的关键问题是如何形式化描述更多的安全属性，如何将这些属性在统一的框架下进行形式化分......
给出Ambient演算的一种内部表示，称为Ambient框架，并给出了Ambient框架的构造方法和具体转换函数，以及基于Ambient框架的执行操作语义......
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意......
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(c......
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重......
为了解决进程接收具体信息的输入所带来的无穷种迁移问题,采用一种称为"符号化"的方法,提出了进程符号环境和符号化和格局标号迁移......
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,......
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性......
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant......
A Stochastic Model for Protein Synthesis and Activation through RNA-Protein Interaction in BioAmbien
...
为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算--安全有限容量演算.在新演算中,调......
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法，利用该方法可以对密码协议的安全性质以程序化的方式进行验证。......
进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不......
可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定。该文论述了基于游戏(Game based)转换......
针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本......
本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本......
无线网络(Wireless Networks)是由一组无线的、可移动的网络节点组合而成的网络体系架构,该网络架构已经被广泛地应用于信息物理融......
为了形式化规范、验证和分析反应式并发系统,学术界提出并发展了多种形式化规范方法。这些方法大体上可分为两类：基于动作的和基于......
多主体间的协作是多主体系统与其它相关研究领域区别开来的关键性概念之一 ,也是保证多个智能系统能在一起共同工作的关键 .将规划......
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的．进程演算具有强大的描述能力和严格的语义．能够精确刻画安全协议中各......
灰箱进程演算作为描述和分析移动计算系统的有效工具,因为其很强的抽象能力及其在理论和应用上的重要性,在进程演算领域一直得到广......
高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内......
