公共文化服务平台

施光源: 作品数：13 被引量：16H指数：2; 供职机构：北京工业大学计算机学院更多>>; 发文基金：国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>; 相关领域：自动化与计算机技术自然科学总论更多>>

合作作者

一种基于主观逻辑的动态信任关系评估方法被引量：1: 2011年; 现有的复杂网络计算环境中安全问题日益严峻。如何在不同实体间建立信任关系是建立可信计算环境的关键所在。利用可信证明技术能够为信任关系的建立和维护提供证据,但是,现有的可信证明方法存在证据获取不够及时的问题,并且依据证明方法建立信任关系的理论研究不足,针对这些问题提出一种基于主观逻辑的动态信任关系评估方法。首先,建立基于行为证明的信任关系评估模型;然后利用确定下推自动机DPDA(Deterministic Push Down Automata)描述程序的预期行为,通过虚拟机内省技术动态验证程序的实际行为是否与预期行为保持一致,从而判断程序的可信性;最后,根据证明结果进行信任关系评估。通过实验表明该方法能够动态验证程序的行为,使得信任评估更加准确。; 施光源刘毅; 关键词：可信计算信任评估

可信计算领域中可信证明的研究与进展被引量：9: 2011年; 可信证明技术是可信计算中非常重要的特性,利用可信证明技术能够验证计算环境是否具备可信性,从而能够为在网络环境中建立信任关系提供依据。针对可信证明研究现状进行深入探讨,明确给出发展趋势;对现有证明方法所存在的问题分析研究,总结出证明方法存在着证据获取不及时、缺乏对于证明对象的隐私保护以及证明方法自身安全性等问题;给出可信证明的形式化描述,并且从证明对象、证明时机等多个角度对证明方法进行分析,最后给出了解决可信证明所存在问题的建议。上述工作对于可信证明的研究以及方法设计都提供了有益的参考。; 施光源张建标; 关键词：可信计算

CORBA与EJB3.0的集成应用研究被引量：2: 2009年; 简要介绍了分布式中间件技术CORBA和EJB3.0,提出了基于RMI-IIOP和CORBA桥的2种CORBA访问EJB3.0组件的方法,并与基于Web Service的集成技术做了简要对比.最后,基于CORBA与EJB的集成技术设计了税控商业自动化管理系统的分布式架构方案.; 张建标张国明施光源; 关键词：中间件分布式系统系统集成

一种基于多可信属性的证据模型建立方法: 可信远程证明是可信计算技术中非常重要的一部分，而可信证据又是可信远程证明的基础。但是，通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先，证据信息不充分，不能满足可信证明的需求;其次，证据信息...; 施光源付颖芳; 关键词：可信计算

一种基于行为证明的主观动态可信模型建立方法: 2012年; 在分布式环境中如何在实体之间建立信任关系一直是信息安全领域研究的热点问题,远程证明为解决该问题提供了一种新的研究方向。远程证明是可信计算中非常重要的特性,利用可信远程证明方法能够在实体之间建立起信任关系。但是,二进制等静态远程证明方法对于计算平台的可信性证明存在明显不足,在建立信任关系时不能够提供充分的证据。主要研究基于行为证明方法在实体之间如何建立可信关系的问题。因此,利用基于行为的远程证明方法对计算机平台可信性进行证明,该方法能够为建立信任关系提供更加准确的经验结果。在证明过程中存在一些不确定因素,这些不确定因素将影响信任关系的建立以及评估。利用主观逻辑对信任关系进行了度量,建立了TMBA动态可信模型,该模型能够在基于行为证明所获得的经验的基础上,通过考虑过去经验以及现有经验分析信任关系的动态性,并且将信任关系中的信任度用主观逻辑的观点来表示。最后给出根据TMBA对信任观点进行计算的方法。; 施光源张建标; 关键词：可信计算远程证明信任关系

利用DTE技术的证明系统安全域模型研究被引量：1: 2010年; 为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。; 施光源公备冯聿梦岳少园; 关键词：安全域

利用DTE技术的证明系统安全域模型研究: 为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型.该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则.同时,为了确保不...; 施光源公备冯聿梦岳少园; 文献传递

一种基于安全虚拟机内省的动态可信证明方法: 现有的复杂网络计算环境中安全问题日益严峻，使人们对于可信计算环境的需求非常急迫。可信证明技术是可信计算中非常重要的特性，为解决计算平台可信问题提供了新的研究方向。但是，现有的可信证明方法存在证据获取不及时、缺乏对于证明方...; 施光源沈昌祥刘毅; 关键词：可信计算隐私保护

一种基于多可信属性的证据模型建立方法被引量：1: 2011年; 可信远程证明是可信计算技术中非常重要的一部分,而可信证据又是可信远程证明的基础。但是,通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题:首先,证据信息不充分,不能满足可信证明的需求;其次,证据信息组织不够合理;最后,由于可信性具有一定的主观性,与用户的预期相关,但现有方法中在收集证据时没有考虑用户的预期。针对上述问题,提出了一种可信远程证明的证据模型建立方法。该方法依据可信属性建立证据模型与用户预期模型,并利用该模型对软件不同阶段的证据信息进行收集,最后,根据模型建立形式更加规范的可信证据实例,该实例表明证据信息更加多样,符合用户的预期。; 施光源付颖芳; 关键词：可信计算远程证明

基于多域贝叶斯网络的可信计算平台评估方法: 为了评判可信计算平台的安全状况,应基于测评工作对其风险进行评估.通过分析可信计算平台的各项风险指标,结合日志提供的受攻击状况,文中提出了基于多域贝叶斯网络(MDBN)的可信计算平台评估方法.该方法根据平台特点将风险贝叶斯...; 冯聿梦施光源; 关键词：可信计算平台风险评估风险指标; 文献传递