检索结果-内蒙古大学图书馆

通信学报 2012年第11期33卷 41-48,56页

作者：王江涛陈志刚邓晓衡中南大学信息科学与工程学院湖南长沙410083 长沙大学计算机系湖南长沙410003

针对普适计算环境中涌现出的行为可信问题,提出了一种适合于普适计算网络环境的上下文感知的自适应可信模型CASATM,该可信模型能够自适应地对不同的服务提供不同层次的安全保障,能有效地对时间、地点、服务内容等上下文感知。同时提出... 详细信息

针对普适计算环境中涌现出的行为可信问题,提出了一种适合于普适计算网络环境的上下文感知的自适应可信模型CASATM,该可信模型能够自适应地对不同的服务提供不同层次的安全保障,能有效地对时间、地点、服务内容等上下文感知。同时提出了一种简单高效的风险评估模型来完成对一些完全陌生客体的可信度初始化。仿真实验表明该可信模型能有效地感知上下文并抵抗恶意客体的周期性欺骗行为。

关键词：普适计算可信模型上下文感知自适应

来源：评论

学校读者我要写书评

暂无评论

一种基于行为证明的主观动态可信模型建立方法

引用

计算机科学 2012年第3期39卷 54-61页

作者：施光源张建标北京工业大学计算机学院北京100124

在分布式环境中如何在实体之间建立信任关系一直是信息安全领域研究的热点问题,远程证明为解决该问题提供了一种新的研究方向。远程证明是可信计算中非常重要的特性,利用可信远程证明方法能够在实体之间建立起信任关系。但是,二进制等... 详细信息

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

关键词：可信计算远程证明信任关系可信模型

来源：评论

学校读者我要写书评

暂无评论

面向用户体验的云计算服务可信模型研究

引用

小型微型计算机系统 2013年第3期34卷 450-452页

作者：赵晓永杨扬孙莉莉张静乐北京科技大学计算机与通信工程学院北京100083 中国科学院计算技术研究所北京100083

随着云计算的快速发展,云中提供的服务日益丰富,越来越多的用户开始使用云计算提供的服务,如何为用户提供最有效、最可信的服务成为新的挑战.考虑到信任因素的复杂性与不确定性,本文主要研究如何面向用户体验对信任概念进行量化,将用户... 详细信息

随着云计算的快速发展,云中提供的服务日益丰富,越来越多的用户开始使用云计算提供的服务,如何为用户提供最有效、最可信的服务成为新的挑战.考虑到信任因素的复杂性与不确定性,本文主要研究如何面向用户体验对信任概念进行量化,将用户体验作为服务可信模型的重要评估标准和参考因素,提出了一种基于云计算的全局信任量化计算模型,对其计算方法进行了重点讲述,并将信任量化计算模型作为一个构件挂接于北京科技大学云计算平台之上,在为用户提供可信服务的同时获得有效的验证数据,提供量化的趋近真实的服务可信度.通过在实际系统中的应用,验证了该模型的有效性.

关键词：可信模型用户体验云计算可信计算

来源：评论

学校读者我要写书评

暂无评论

基于侧信道可信模型的硬件木马检测技术研究

基于侧信道可信模型的硬件木马检测技术研究

引用

作者：刘燕江天津大学

学位级别：博士

硬件木马自2007年提出以来,受到了国内外研究学者的广泛关注,其检测技术一直是研究的热点。在诸多检测方法中,侧信道分析是硅后硬件木马检测的主流,前期研究成果是建立在以不含硬件木马芯片(参考芯片)的侧信道信息为参照的基础上的。但... 详细信息

硬件木马自2007年提出以来,受到了国内外研究学者的广泛关注,其检测技术一直是研究的热点。在诸多检测方法中,侧信道分析是硅后硬件木马检测的主流,前期研究成果是建立在以不含硬件木马芯片(参考芯片)的侧信道信息为参照的基础上的。但是,参考芯片在实际中难以获取,使侧信道分析技术难以实用化。另外,在检测过程中,由于硬件木马大多时间处于静态,侧信道信息极其微弱,难以识别出硬件木马的侧信道特征,这降低了硬件木马的检出率。基于此,本论文开展了基于侧信道可信模型的硬件木马检测技术研究,建立了侧信道可信模型来解决参考芯片的依赖问题,提出了硬件木马显化和检测算法来提高硬件木马检出率。针对参考芯片的依赖问题,开展了集成电路硬件木马侧信道可信模型构建技术研究,分析了集成电路的逻辑切换与功耗泄露过程,提出了一种基于版图数据的集成电路侧信道可信模型构建方法,结合硬件木马的侧信道特征,建立了硬件木马侧信道可信检测理论模型;深入研究了随机噪声和工艺偏差等非理想因素对可信模型的影响,设计了一种多维降噪预处理算法和非线性工艺偏差补偿算法,实现了可信模型的有效匹配;为提高硬件木马的特征识别效率,提出了4种硬件木马检测算法,形成了基于侧信道可信模型的硬件木马检测流程。针对硬件木马检出率低下的问题,开展了基于变异分析的硬件木马显化算法研究,提出了基于低活性节点的硬件木马隐藏性分析方法,确定了基于低活性节点活性提升的硬件木马显化方向;改进了电路节点活性分析方法,开发了低活性节点的自动寻找工具;在此基础上,提出了基于变异分析的活性提升算法,设计了7种变异算子,结合逻辑功能验证策略,形成了优化测试向量生成流程。本论文分析了测试向量集的硬件木马显化效率,低活性节点的静态和动态翻转率最大提升4.62倍,硬件木马载荷率较MERO算法最大提升2.72倍。基于以上关键技术研究,在两个工艺(Charted 180nm和SMIC 180nm)条件下设计了AES加密芯片来验证可信模型的适用性,开发了侧信道分析系统和上位机软件,建立了侧信道数据在线采集、实时处理和木马识别的测试架构。本论文分别建立了±5%、±10%、±15%的可信模型,模型匹配度均高达98.81%,并基于该模型来检测显化后的木马,实现了最小面积占比0.27%木马的有效检出。

关键词：集成电路硬件木马侧信道分析可信模型显化算法

来源：评论

学校读者我要写书评

暂无评论

领域构件可信模型的研究与评估实现

领域构件可信模型的研究与评估实现

引用

作者：唐莹南京航空航天大学

学位级别：硕士

基于构件的软件开发技术自提出之后,成为了越来越重要的软件开发模式和解决软件危机的一种重要手段。随着软件系统在生活中的应用越来越广,软件质量的高低深刻影响着人类的切身利益甚至生命安全。构件作为一种可复用的特殊软件,其可信... 详细信息

基于构件的软件开发技术自提出之后,成为了越来越重要的软件开发模式和解决软件危机的一种重要手段。随着软件系统在生活中的应用越来越广,软件质量的高低深刻影响着人类的切身利益甚至生命安全。构件作为一种可复用的特殊软件,其可信性的评估对于基于构件的软件开发技术发展而言,将成为一个重要的影响因素。本文在对Ma Call质量模型、Boehm质量模型做了简要的介绍之后,深入研究了ISO/IEC25010软件质量模型及可信构件的ABCDE模型。基于对ISO/IEC25010模型中质量属性的修改及对ABCDE模型中的构件可信因素的考虑,并结合构件的可复用等性质,提出了可信构件属性模型。考虑到基于构件复用完整的软件开发过程包括领域工程和应用工程两部分,并且相互关联相互影响,本文又提出了可信领域工程。可信领域工程与可信构件属性一起组成了领域构件的可信模型。为方便度量,将可信领域工程作为可信构件的一个独立属性,最终建立了一个基于三层架构的领域构件可信评价指标体系。构件的可信性评价是典型的多属性决策问题。多属性决策方法有多种,本文列举了一些并做了简单介绍,部分给出详细的计算步骤。构件的可信性评估是一个将定性指标进行量化评估的过程,将涉及一些对评价指标不确定性和过渡性的处理。本文重点研究了基于中介理论的中介真值程度度量方法,与熵理论相结合,设计出一个新的综合评估算法。将该方法应用于本文提出的领域构件可信模型的度量,并采用主观赋权和客观赋权相结合的两种权值计算方法。基于对领域构件可信模型及中介评估方法的理论分析,本文设计开发了一个基于B/S架构的构件可信性评估系统。利用该系统对OA领域中的构件可信性进行实验分析,验证了本文所用的中介评估方法的有效性和领域构件可信模型的可度量性。

关键词：构件可信模型领域工程中介度量方法多指标评价权重设定

来源：评论

学校读者我要写书评

暂无评论

支持进程代码修改的非传递无干扰可信模型

引用

计算机工程 2013年第11期39卷 150-153,168页

作者：徐甫解放军信息工程大学郑州450002

基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新... 详细信息

基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新理论框架下给出进程运行可信的条件,证明进程运行可信定理。分析结果表明,与现有可信模型相比,该模型在保证进程运行可信的同时允许对进程代码进行修改,提高了可信计算平台的实用性。

关键词：可信模型非传递无干扰代码修改静态干扰动态干扰运行可信

来源：评论

学校读者我要写书评

暂无评论

面向自治协同的政策导向型Agents可信模型研究

面向自治协同的政策导向型Agents可信模型研究

引用

作者：于洋湖南大学

学位级别：硕士

随着分布式环境下共享资源计算和协同服务的需求逐渐增多,这要求软件系统的开发、部署、运行、维护在日渐开放、动态、难控的网络环境中。因Agent具有反应性、自治性、社会性等特点,已经被普遍认为是支持大规模、开放和分布式信息系统... 详细信息

随着分布式环境下共享资源计算和协同服务的需求逐渐增多,这要求软件系统的开发、部署、运行、维护在日渐开放、动态、难控的网络环境中。因Agent具有反应性、自治性、社会性等特点,已经被普遍认为是支持大规模、开放和分布式信息系统实现动态服务集成和协同工作的关键技术。但是传统Agent模型中Agent行为难以预测和控制、缺乏对Agent个体和行为的可信性评价以及缺乏冲突处理机制等缺点,从而难以保证系统和个体行为的可信。本文针对上述问题提出了新的解决方案,以开放式分布式系统环境为背景,从行为控制与行为激励两个方面并采用扩展可废止逻辑体系建立了Agent个体与群体协同的可信模型理论。本文的主要工作如下： 1)提出了基于信誉的政策导向型个体模型。在传统BDI理性模型的基础上,加入了政策导向性作用,让政策从宏观和微观层面约束和规范Agent的行为,增强外部对Agent决策的影响,使Agent保持自治性的同时增加其可控性。其次在Agent决策过程中引入了信誉机制,让Agent决策过程中充分考虑直接信任和信誉因素的影响,提高决策的正确性,从而保证个体模型的可信。 2)提出政策导向的Agents协同可信模型框架。统一了Agent行为可信的行为控制、行为激励两个方面,并建立起相应的确保机制从协同模型整体来确保系统可信。模型架构中将Agents协作分为四个子过程,联盟状态更新、联盟目标任务产生、个体目标任务产生和个体行为执行。四个子过程都受到相应的政策的规范和约束,并且都受到信誉中心的影响,力求从可信两个方面对协同过程进行影响,使Agents协同过程更加可信。 3)建立了一套基于扩展可废止逻辑形式化理论框架,并让所建Agent模型能够动态接受规则变更、灵活处理实时发生的规则冲突,成功的引入可信普通文字,使扩展可废止逻辑能更加适合的描述规则的可信度,为将信誉机制引入Agent模型中提供了理论基础。

关键词：政策可废止逻辑 Agents协同可信模型

来源：评论

学校读者我要写书评

暂无评论

基于Hadoop的数据服务可信模型与验证方法研究

基于Hadoop的数据服务可信模型与验证方法研究

引用

作者：蔡磊北京工业大学

学位级别：硕士

随着企业数据规模的日趋增长，企业对数据存储和数据分析能力的需求也越来越高。Hadoop作为当今主流的大数据处理解决方案之一，由于具有低成本、高可靠性、高可用性等诸多优点，在国内外得到了广泛的研究和应用。Hadoop的安全机制由基... 详细信息

随着企业数据规模的日趋增长，企业对数据存储和数据分析能力的需求也越来越高。Hadoop作为当今主流的大数据处理解决方案之一，由于具有低成本、高可靠性、高可用性等诸多优点，在国内外得到了广泛的研究和应用。Hadoop的安全机制由基于Kerberos的身份认证和基于ACL的访问控制组成，实现了机器级别的安全认证，同时可以对用户权限进行控制。然而Hadoop的安全机制相对简单，缺乏对平台完整性检测机制，使得恶意特权用户可以通过改变平台状态获取用户隐私信息;同时由于ACL访问控制机制只对用户或用户组权限进行了简单控制，无法对MapReduce程序的行为进行细粒度的访问控制，导致程序运行过程中依然存在安全威胁，无法满足实际应用的需要。\n 本文对Hadoop应用中存在的安全威胁进行研究和分析，通过研究Hadoop使用中的数据流向问题，提出了Hadoop数据服务可信模型，对实际应用中角色进行划分，描述了数据服务可信架构，提出针对威胁的解决方案。针对平台完整性改变所造成的安全威胁，结合可信链思想，提出了MapReduce应用层可信链扩展方法，实现对MapReduce程序完整性的度量，同时结合NodeManager节点健康检测机制，提出了Hadoop平台完整性周期检测方法，提供平台动态完整性保护。针对MapReduce程序存在的安全威胁，提出了基于AOP的MapReduce行为实时监控方法，提供细粒度的访问控制。最后结合可信计算思想，提出了具有隐私保护的Hadoop数据服务可信验证方法，使用户可以对Hadoop数据服务的可信性进行验证。本文通过实现的原型系统，对上述方法的有效性进行了验证。

关键词：数据服务可信模型安全威胁远程验证 Hadoop程序

来源：评论

学校读者我要写书评

暂无评论

基于可信模型的数字图书馆云服务绩效评估

引用

现代情报 2014年第1期34卷 43-45页

作者：王志强兰州商学院信息工程学院甘肃兰州730020

云计算环境下,如何向用户提供最有效、最可信的服务成为数字图书馆面临的新挑战。本文从安全与风险、数据可用性、云服务质量与可控性、云资源与经济性5个方面,提出了一种基于可信模型的数字图书馆云服务绩效评估指标体系。该指标体系... 详细信息

云计算环境下,如何向用户提供最有效、最可信的服务成为数字图书馆面临的新挑战。本文从安全与风险、数据可用性、云服务质量与可控性、云资源与经济性5个方面,提出了一种基于可信模型的数字图书馆云服务绩效评估指标体系。该指标体系评估结果可为云计算环境下,数字图书馆读者云阅读服务提供量化的数据分析基础。

关键词：数字图书馆可信模型云服务绩效评估

来源：评论

学校读者我要写书评

暂无评论

文本可信模型分析方法、设备和装置

文本可信模型分析方法、设备和装置

引用

作者：袁锦程王维强许辽萨赵文飙易灿英属开曼群岛

本发明涉及文本可信模型分析方法、设备和装置。所述方法(100)包括：使用第一训练模型对结构化行为数据进行分类并赋予与所属类别相应的分数(114)；使用第二训练模型对与所述结构化行为数据相对应的文本数据进行分类并赋予与所属类别相... 详细信息

标准号: CN110046200B

本发明涉及文本可信模型分析方法、设备和装置。所述方法(100)包括：使用第一训练模型对结构化行为数据进行分类并赋予与所属类别相应的分数(114)；使用第二训练模型对与所述结构化行为数据相对应的文本数据进行分类并赋予与所属类别相应的分数(128)；将所述结构化行为数据的所述分数与对应的文本数据的所述分数进行比对(130)；并且根据所述比对的结果，判断所述对应的文本数据是否可信(132，134)。本发明的实施例的方案通过将这种文本数据与相应的行为数据进行比较来判断文本数据是否可信，从而使得可以进行自动化反欺诈风险防控。

关键词：文本数据行为数据结构化训练模型比对可信可信模型分类赋予自动化文本欺诈分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：