摘要：针对目前一些IC卡应用系统存在的某些漏洞,设计了一个IC卡应用系统来防止非法用户对IC卡的窜改。本系统按不同的安全级别使用了摘要、认证、加密等技术,保证了IC卡应用系统的正常运行。

摘要：针对目前公安移动警务系统安全需要,从系统总体目标和安全策略两个方面展开研究,提出了一种基于STK卡的安全保障系统设计方案。重点对用户终端数字证书管理与接入认证进行了研究和设计。

摘要：在分析当今具有容忍入侵功能的中间件模型的基础上,提出了具有容忍入侵功能特性的中间件设计的基本要求,给出了一种基于CORBA/J2EE架构的具有容忍入侵特性的中间件架构,并对其中的关键技术设计作了功能性的描述。该架构利用拦截器技术实现了服务与管理模块的分离,该架构具有透明、可扩展性好、配置灵活等特点。

摘要：为实现Web Services动态、自动的合成,以减少合成过程中过多的人工干预,提出了一个基于A*算法的最佳路径算法。该算法通过对核心的估值函数的设计,启发式地对Web Services进行选择合成,从而能够将最适当的服务配置到合成的结果当中去。分析比较结果表明,该算法能够合成出最适当的服务并且服务合成的时耗较少。

摘要：采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这个调用的前置条件,根据这些条件形式化求解调用的最强后置条件,也就是调用的语义作用。

摘要：为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树的方法,并将节点链搜索技术在算法循环调用,去掉不需要的节点,加快UIO序列生成,降低搜索空间。通过实验结果表明,与现有算法相比,该算法在降低时间复杂度和空间复杂度两方面有较大改进。

摘要：互斥操作是保证数据一致性的重要的控制机制,在对现存的XML访问控制模型研究的基础上,提出模型定义中可能出现的不一致问题,即不同的操作类型可能造成不同用户访问数据的不一致。形式化地描述出造成这种不一致问题发生的各种情况,提出一系列原语并用‘锁控制'的机制来解决该问题。最后通过算法具体实现多用户并发请求时互斥操作的方法。

摘要：为了提高Web Services合成的效率,减少用户查询时过多的人工干预,提出了一个Web Services最佳路径动态合成框架。在该框架下以产生式的形式建模,构建一个适合于最佳路径算法的DAG图,以参数级本体解决合成过程中的语义冲突问题,并通过最佳路径算法进行合成。通过分析比较,该框架特别适合于对同样的用户输入和Web Services进行多次合成以生成相同的或者不同的输出,同时也避免了回溯和对合成方案的优化。

摘要：为优化云环境中期限约束的工作流调度代价,提出一种工作流调度算法。结合云资源的异质与弹性使用特征,满足工作流调度的期限约束同时最小化执行代价为目标,将最优化调度方案的求解过程划分为4个阶段:工作流任务分层、期限在任务分层上的重分配、确定就绪任务的调度优先级以及基于代价优化的执行实例选择。引入5种常规科学工作流结构进行仿真实验,与同类型的IC-PCP算法和JIT算法进行性能对比,实验结果表明,WSCO-DC算法可以满足期限约束,以更高的调度成功率进一步降低工作流调度代价,获得更高的系统吞吐量。

摘要：为了解决谓词抽象技术面临的程序中循环体的每次迭代都至少需要一个谓词来实现的难题,提出了一个两阶段的不完全判定过程,用来对一个包含循环的反例进行可行性模拟。通过给出的循环探测算法来从抽象模型中提取出包含循环的反例,并用循环迭代的数量作为参数来确定模拟实例。实验结果表明,该方法在典型的缓冲溢出实例中的表现优于传统的抽象求精方法。