认证协议相关性分析

本文提出认证协议的相关性问题，并引入关联因子的概念，从消息相关和协议相关两个层次上对相关性进行描述，同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述，以著名的Needham-Schroeder公钥协议为例分析其相关性，得出了理想的结果。     

一种基于Petri网的分布组件协调模型

协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任     

开放分布系统中基于RBAC和策略实施的协调模型

本文提出了适用于开放分布系统的基于RBAC和策略实施的协调模型(RBPEC).RBPEC模型引入了协调组的概念,把需要进行交互才能完成整体任务的多个软件实体放在一个协调组中.RBPEC协调模型把协调和访问控制两者结合起来,引入基于角色的访问控制为协调系统作安全性检查,系统的协调策略可以在分布环境下实施.RBPEC协调模型具有安全和可扩展两大特点.     

联机事务处理中间件的设计与实现

中间件主要为解决分布计算环境中异构系统所引起的种种问题而设计。该文介绍了联机事务处理中间件的实现，特别讨论了，所用到的消息队列通信、数据依赖路由及负载平衡的实现及应用。     

基于JPDL的医疗流程建模

医疗流程的建模比较复杂,因为医疗流程变化很多,不同的医院,不同的科室都会有不同的流程.医疗流程的特殊性要求它的建模方法的特殊性.当前的理论研究大都是研究一般业务流程的建模,在研究他人工作流建模方法的基础上,分析当前医疗流程模式,并指出各种工作流建模方法在医疗流程建模方面的不足,在介绍JPDL在医疗流程建模方面的优缺点后扩展了JPDL在医疗流程建模方面的功能,然后实现了一个建模实例,并提出进一步研究的内容.     

基于页面内容和站点结构的页面聚类挖掘算法

提出了结合站点拓扑结构和Web页面内容的页面聚类改进算法,改进算法引入Web页面的内容链接比和页组的组内链接度,并修改了频繁访问页组支持度的计算公式,以此来提高挖掘结果的兴趣性.通过实验数据的比较,改进算法较一般算法的收敛性好,发现的频繁访问页组的兴趣性高.     

分布环境中带有访问控制的协调模型

目前开放分布系统中的协调技术主要考虑如何促使计算实体之间的交互能够顺利通畅地进行，而实际上出于安全的考虑必须要有一定的访问控制措施来限制这些软件实体之间某些交互。该文提出一种新的协调模型，把协调和访问控制两者结合起来，该模型具有安全和可扩展等优点。     

远程机器人控制系统的实时性能评估

对基于RT-Linux实时操作系统的远程机器人控制系统的实时性能问题进行了深入研究。针对实时应用和系统的复杂性特点，通过对实际测试数据采样，对实时操作系统的实时机制和实际性能进行了分析和评价，为实时控制系统提供了重要的评定依据。同时对在实际环境中通过实时操作系统控制机器人进行远程作业提供了研究基础，解决了远程控制实时性难以保证的问题。     

机器人控制系统实时性的研究

着重研究了机器人控制系统的实时性提高和改进方法，提出了一种建立在RT－Linux基础上的实时机器人控制系统，文章阐述了将机器人控制器任务进行实时域和非实时域划分的思想，并给出了一个在RT－Linux操作系统下远程机器人实时控制系统实现的例子，最后还比较了在RT－Linux与标准Linux下的性能测试结果。     

移动灰箱演算中强干扰问题的进一步控制

为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的不安全因素.对防火墙跨越的描述和对多元异步(-演算的翻译显示鲁棒灰箱演算依然具有较强的类似移动灰箱演算和安全灰箱演算的表达能力.同时还就鲁棒灰箱演算的类型问题作了初步的探讨,给出并证明了一套可以描述进程和能力的移动性和线程数两个属性的类型系统.研究结果初步表明,鲁棒灰箱演算可以成为移动计算形式化描述中的有力工具.