自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

开放分布式环境中信任管理综述

信任是以网络为媒介的交互主体之间重要决策的依据,为主体处理交互过程中的不确定因素、不可控因素、模糊性和不完备信息等提供新思路。信任管理是描述、建立、验证和维护主体之间信任关系的方法,正日益成为研究热点。首先在分析信任及信任管理相关概念的基础上,给出了信任管理的描述性定义和形式化定义,并讨论了二者的关系;其次,分类对典型的信任管理系统进行分析、点评和对比;最后,总结了当前研究中存在的不足并讨论了信任管理未来的发展趋势。     

集群服务器IPv4/IPv6接入机制的设计与实现

设计了一种将集群服务器NVS(network virtual server)接入到IPv4/IPv6环境中的机制，通过将协议转换内置到NVS接口机的内核中以提高协议处理速度，实现应用对底层具体协议的透明使用，原有高可用性、高可扩展性和负载均衡等多接口机软件不加修改即可使用。实验结果表明，该机制协议处理延迟小于通过NAT-PT网关实现的延迟，同时具有更高的吞吐量。     

C/C++代码自动生成脚本语言接口的实现

对于开发灵活的科学软件来说,脚本语言是一个强大的工具。然而开发人员经常遇到一个问题：如何将编译过的C／C 代码集成到一个解释器。为了解决上述问题,设计了一个可扩展的编译器——接口产生器(IG)。IG主要任务是把编译过的C／C 代码集成到脚本语言解释器中。因此,该文的主要目的就是解决上述相关问题。