一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。  

基于Internet的协同环境信息共享技术研究

建立基于Intermet的共享信息空间以满足协同用户对信息的共享需求,已经引起人们的广泛关注.该文首先介绍了采用传统CGI/CORBA方法建立的共享信息空间模型,在此基础上提出了基于CORBA/Java的共享信息空间模型,并论述了利用Java集成Web和CORBA的思想.这种模型具有更高的效率,并且在系统灵活性、可扩展性及强壮性等方面都有很大的优势.文章最后介绍了采用该模型建立的产品信息集成与共享系统.  

基于通识教育的芝加哥大学计算机专业培养模式

受国家留学基金委的派遣，笔者曾于2005与2006年间在美国芝加哥大学／Argonne国家实验室做了为期一年的访问学者。期间师从网格之父Ian Foster教授，进行网格安全研究；同时对芝大计算机专业的教学进行了调研，全程旁听了两门核心课程，还对其他四门课程进行了部分旁听，并参加了校园内的多项学术活动。本文结合笔者在芝大的亲身经历和真实感受，  

利用多层视觉网络模型进行图像局部特征表征的方法

为了寻求代价更小、效率更高、适应性更强的图像局部特征表征方法,提出一种基于视觉机制的多层网络计算模型.首先对初级视皮层中的简单细胞和复杂细胞等神经元进行建模;然后对腹侧视通路上的V4区神经元和下颞叶皮层区神经元的响应模式进行研究,并利用该计算模型对输入图像进行局部特征的表征.实验结果表明,与传统的图像特征描述方法相比,该模型所提取的图像局部特征具有足够的区分度;此外,利用生物视觉模型提取出的图像局部特征在具有复杂背景的场景中显示出了更加优秀的泛化能力.  

协同设计环境中数据库安全共亨关键技术研究

在支持航空产品研制的协同设计平台中,满足设计数据库共享模式的平台架构与安全控制结构是两项关键技术。本文在分析设计数据库特殊的管理与共享模式的基础上,提出了基于CORBA的协同设计平台结构,以及基于数据库访问网关的安全控制方法。在数据库访问网关核心技术的研究中,提出了利用CORBA拦截机制保证数据库网关有效性的方法,为增强型安全产品开发提供了一种新思路。本文最后给出了系统实现与性能测试结果。  

基于总线的Web服务安全策略管理研究

根据Web服务环境下多安全策略管理的特点,提出了一个利用消息总线来建立一个可信任第三方,从而实现对多自治域下各个成员所支持的多种安全策略进行管理的框架.  

协同设计环境中数据库安全共享关键技术研究

在支持航空产品研制的协同设计平台中，满足设计数据库共享模式的平台架构与安全控制结构是两项关键技术。本文在分析设计数据库特殊的管理与共享模式的基础上，提出了基于CORBA的协同设计平台结构，以及基于数据库访问网关的安全控制方法。在数据库访问网关核心技术的研究中，提出了利用CORBA拦截机制保证数据库网关有效性的方法，为增强型安全产品开发提供了一种新思路。本文最后给出了系统实现与性能测试结果。  

信任传播与信任关系发现方法

信任管理是一种具有动态可扩展性的新型访问控制方法。在现有信任管理研究成果的基础上,参照人类社会基于信任的交互机制,提出了一种基于信任度的访问控制模型,并对其中的信任传播与信任关系发现进行了重点研究。参照人类社会的信任传播模式,并基于自组织理论,提出了一种信任自主传播模型,实现信任动态、广泛的传播。通过引入计算机网络中分布式路由算法的思想,提出了一种信任关系的分布式追溯发现算法。该算法的时间复杂度达到O(k)(k为信任关系中的实体数),与现有信任关系发现算法相比,效率得到显著提高。  

基于信任访问控制中信任评估与追溯方法研究

信任的量化表达与信任关系发现是基于信任访问控制中的难点问题。首先介绍了一种基于模糊数学的信任评估模型。通过定义时间衰退函数,该模型表达了时间对信任的影响。时间因素的引入使得该信任评估模型更具实用价值。同时,还提出了一种信任关系的分布式信任追溯算法,有效避免了访问控制中效率瓶颈的产生。