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

小型微型计算机系统 2015年第12期36卷 2719-2724页

作者：和敬刚张大鹏王帅王新生史忠植燕山大学信息科学与工程学院河北秦皇岛066004 桂林电子科技大学广西可信软件重点实验室广西桂林541004 中国科学院计算技术研究所北京100190

为了便于开发带有BDI推理机制的多Agent应用系统,首先在已有的MAGE(Multi-Agent Environment)平台上,通过引入BDI推理模块构建了一种具有BDI推理机制的多智能体运行平台MAGER(Multi-Agent Environment with Reasoner);然后将MAGER运行环境以组件的形式集成到MAGE的开发环境VAStudio(Visual Agent Studio)中,进而构成了一种能够开发运行BDI Agent的集成开发环境;最后将该集成开发环境应用于民航空中交通管理智能决策系统的开发中.

关键词： BDI MAGER VAStudio 集成开发环境

来源：评论

学校读者我要写书评

暂无评论

基于可信移动平台的直接匿名证明方案研究

引用

计算机研究与发展 2014年第7期51卷 1436-1445页

作者：杨波冯登国秦宇张倩颖奚瓅郑昌文中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190 综合信息系统技术国家级重点实验室(中国科学院软件研究所) 北京100190

可信平台模块(trusted platform module,TPM)采用的直接匿名证明(direct anonymous attestation,DAA)方法实现了对平台身份的匿名远程证明.然而对于具有匿名远程证明高需求的移动平台,目前仍然没有通用高效的DAA解决方案框架.针对上述问... 详细信息

可信平台模块(trusted platform module,TPM)采用的直接匿名证明(direct anonymous attestation,DAA)方法实现了对平台身份的匿名远程证明.然而对于具有匿名远程证明高需求的移动平台,目前仍然没有通用高效的DAA解决方案框架.针对上述问题,提出了一种适用于可信移动平台的DAA方案框架,框架充分考虑了移动应用背景,结合若干基于椭圆曲线的DAA(ECC-DAA)方案重新设计,首次提出匿名凭证嵌入和再次获取凭证功能,符合TPM 2.0技术和接口标准规范.给出了基于TrustZone安全技术和TPM Emulator实现的可信移动平台体系结构.对4种ECC-DAA方案和3种椭圆曲线进行了对比、实现和分析,实验表明,框架能够良好兼容DAA方案和曲线,具有较高的计算速度.

关键词：信息安全可信计算可信平台模块直接匿名证明移动平台 TrustZone

来源：评论

学校读者我要写书评

暂无评论

基于灰色理论的云环境安全态势感知方法

基于灰色理论的云环境安全态势感知方法

引用

第四届全国信息安全等级保护技术大会

作者：刘玉岭贾雪飞严妍张颖君连一峰可信计算与信息保障实验室中国科学院软件研究所北京 100190 中国信息安全认证中心北京 100020

针对云环境中安全态势感知面临着安全态势要素多源异构的问题,从虚拟机安全、物理主机安全和用户行为安全三方面出发构建了云环境安全态势感知模型,引入灰色理论来处理精确值、估计值、定性值和定量值混杂存在的情形,并使用不确定性推... 详细信息

针对云环境中安全态势感知面临着安全态势要素多源异构的问题,从虚拟机安全、物理主机安全和用户行为安全三方面出发构建了云环境安全态势感知模型,引入灰色理论来处理精确值、估计值、定性值和定量值混杂存在的情形,并使用不确定性推理模型来实现安全态势要素间模糊影响关系的测度.最后,在实际的云环境中验证了本文模型和方法的实用性和有效性.

关键词：云环境安全态势感知灰色理论网络安全

来源：评论

学校读者我要写书评

暂无评论

一种基于UML的网络安全体系建模分析方法

引用

计算机研究与发展 2014年第7期51卷 1578-1593页

作者：布宁刘玉岭连一峰黄亮中国信息安全认证中心北京100020 中国科学院软件研究所可信计算与信息保障实验室北京100190

在现有法律法规和标准体系的指导下,提出了一种通用的网络安全体系框架,阐述了安全目标、安全边界、安全体系要素与安全服务和安全风险评估之间的关系.在网络安全体系框架的基础上,利用统一建模语言(Unified Modeling Language,UML)在... 详细信息

在现有法律法规和标准体系的指导下,提出了一种通用的网络安全体系框架,阐述了安全目标、安全边界、安全体系要素与安全服务和安全风险评估之间的关系.在网络安全体系框架的基础上,利用统一建模语言(Unified Modeling Language,UML)在建模表述上的强大性和通用性给出了安全目标、安全边界和安全体系要素的建模方法,以规范化安全体系的表示形式并消除沟通中的歧义性.利用建立的模型,安全管理员使用提出的网络安全建模分析方法,可以验证业务流程的目标满足性并得出可能的安全风险.最后通过一个典型网上银行网络的建模分析,验证了提出的安全体系框架和建模分析方法的有效性和合理性.相比于传统的方法,该方法建模分析要素更为全面,且推导得出的结果指导性更强.

关键词：网络安全体系 UML建模安全目标安全边界安全措施

来源：评论

学校读者我要写书评

暂无评论

面向云存储的多副本文件完整性验证方案

引用

计算机研究与发展 2014年第7期51卷 1410-1416页

作者：付艳艳张敏陈开渠冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190 国家超级计算深圳中心(深圳云计算中心) 广东深圳518055

文件完整性验证是云存储服务的一项重要安全需求.研究者已经提出多项针对云存储文件完整性验证的机制,例如数据持有性验证(prove of data possession,PDP)或者数据可恢复证明(proof of retrievability,POR)机制.但是,现有方案只能够证... 详细信息

文件完整性验证是云存储服务的一项重要安全需求.研究者已经提出多项针对云存储文件完整性验证的机制,例如数据持有性验证(prove of data possession,PDP)或者数据可恢复证明(proof of retrievability,POR)机制.但是,现有方案只能够证明远程云存储持有一份正确的数据,不能检验其是否保存多份冗余存储.在云存储场景中,用户需要验证云存储确实持有一定副本数的正确文件,以防止部分文件意外损坏时无法通过正确的副本进行恢复.提出的多副本文件完整性验证方案,能够帮助用户确定服务器正确持有的文件副本数目,并能够定位出错的文件块位置,从而指导用户进行数据恢复.实验证明,充分利用了多服务器分布式计算的优势,在验证效率上优于单副本验证方案.

关键词：云存储一致性完整性多副本冗余存储

来源：评论

学校读者我要写书评

暂无评论

Lai-Massey结构的轮安全性

引用

密码学报 2014年第1期1卷 28-40页

作者：眭晗吴文玲张立廷中国科学院软件研究所可信计算与信息保障实验室北京100190

迭代型分组密码的安全性强烈依赖于其结构与轮函数,由Ramzan和Reyzin提出的轮安全概念正描述了结构与轮函数对安全性的影响.本文从轮安全的角度出发,分析了当攻击者具有访问算法部分轮函数的能力时,Lai-Massey结构的安全性.Lai-Massey... 详细信息

迭代型分组密码的安全性强烈依赖于其结构与轮函数,由Ramzan和Reyzin提出的轮安全概念正描述了结构与轮函数对安全性的影响.本文从轮安全的角度出发,分析了当攻击者具有访问算法部分轮函数的能力时,Lai-Massey结构的安全性.Lai-Massey结构由Vaudenay提出,作为典型的密码结构之一,被广泛应用于算法领域,其中包括分组密码算法IDEA和FOX等.本文进一步研究了Lai-Massey结构的安全性,说明了当攻击者除了可以正向和反向询问4轮的Lai-Massey结构以外,如果还能够获得第一轮或第四轮的轮函数查询能力,则方案是不安全的;如果第一轮和第四轮的轮函数是攻击者无法查询的,那么即便攻击者获得了第二轮和第三轮的轮函数查询能力,仍可以证明方案的安全性.

关键词： Lai-Massey结构 FOX算法轮安全可证明安全伪随机性

来源：评论

学校读者我要写书评

暂无评论

基于时空维度分析的网络安全态势预测方法

引用

计算机研究与发展 2014年第8期51卷 1681-1694页

作者：刘玉岭冯登国连一峰陈恺吴迪中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 信息安全共性技术国家工程研究中心北京100190

现有网络安全态势预测方法无法准确反映未来安全态势要素值变化对未来安全态势的影响,且不能很好地处理各安全要素间的相互影响关系对未来网络安全态势的影响,提出了基于时空维度分析的网络安全态势预测方法.首先从攻击方、防护方和网... 详细信息

现有网络安全态势预测方法无法准确反映未来安全态势要素值变化对未来安全态势的影响,且不能很好地处理各安全要素间的相互影响关系对未来网络安全态势的影响,提出了基于时空维度分析的网络安全态势预测方法.首先从攻击方、防护方和网络环境3方面提取网络安全态势评估要素,然后在时间维度上预测分析未来各时段内的安全态势要素集,最后在空间维度上分析各安全态势要素集及其相互影响关系对网络安全态势的影响,从而得出网络的安全态势.通过对公用数据集网络的测评分析表明,该方法符合实际应用环境,且相比现有方法提高了安全态势感知的准确性.

关键词：网络安全安全态势预测安全态势要素空间数据发掘时空维度

来源：评论

学校读者我要写书评

暂无评论

基于节点分割的社交网络属性隐私保护

引用

软件学报 2014年第4期25卷 768-780页

作者：付艳艳张敏冯登国陈开渠中国科学院软件研究所可信计算与信息保证实验室北京100190 国家超级计算深圳中心(深圳云计算中心) 广东深圳518055

现有研究表明,社交网络中用户的社交结构信息和非敏感属性信息均会增加用户隐私属性泄露的风险.针对当前社交网络隐私属性匿名算法中存在的缺乏合理模型、属性分布特征扰动大、忽视社交结构和非敏感属性对敏感属性分布的影响等弱点,提... 详细信息

现有研究表明,社交网络中用户的社交结构信息和非敏感属性信息均会增加用户隐私属性泄露的风险.针对当前社交网络隐私属性匿名算法中存在的缺乏合理模型、属性分布特征扰动大、忽视社交结构和非敏感属性对敏感属性分布的影响等弱点,提出一种基于节点分割的隐私属性匿名算法.该算法通过分割节点的属性连接和社交连接,提高了节点的匿名性,降低了用户隐私属性泄露的风险.此外,量化了社交结构信息对属性分布的影响,根据属性相关程度进行节点的属性分割,能够很好地保持属性分布特征,保证数据可用性.实验结果表明,该算法能够在保证数据可用性的同时,有效抵抗隐私属性泄露.

关键词：社交网络属性隐私匿名节点分割

来源：评论

学校读者我要写书评

暂无评论

基于高阶差分的type-1广义Feistel-SP结构与Feistel-SPSP结构比较研究

引用

通信学报 2014年第7期35卷 1-9页

作者：董乐杜蛟吴文玲河南师范大学数学与信息科学学院河南新乡453007 河南师范大学数学与科学计算实验室河南新乡453007 中国科学院软件研究所可信计算与信息保障实验室北京100190

通过对代数次数增加情况的分析,研究了type-1广义Feistel结构下,单SP(substitution-permutation)模型与双SP模型抵抗高阶差分分析的能力。结合高阶积分与高阶差分思想,开发了四路type-1广义Feistel-SP与Feistel-SPSP结构代数次数上界估... 详细信息

通过对代数次数增加情况的分析,研究了type-1广义Feistel结构下,单SP(substitution-permutation)模型与双SP模型抵抗高阶差分分析的能力。结合高阶积分与高阶差分思想,开发了四路type-1广义Feistel-SP与Feistel-SPSP结构代数次数上界估计的新方法。利用这一方法,分别构造了这2种结构在2种常用参数下的区分器。结果显示,四路type-1广义Feistel结构下,双SP模型抵抗高阶差分攻击的能力不如单SP模型。

关键词： type-1广义Feistel结构单SP函数双SP函数高阶差分伪随机性

来源：评论

学校读者我要写书评

暂无评论

FASER流密码的安全性分析

引用

密码学报 2014年第4期1卷 358-367页

作者：徐超张斌 Willi Meier 可信计算与信息保障实验室中国科学院软件研究所北京100190 计算机科学国家重点实验室中国科学院软件研究所北京100190 瑞士西北高等专业学院

FASER是一个由Chaza等人设计的认证加密方案并提交到CAESAR竞赛.FASER使用两个具有相同长度的状态寄存器,一个用来加密另一个用来认证.FASER的状态寄存器可以分成两个部分,一部分由线性FSR更新另一部分由非线性FSR进行更新.一个滤波布... 详细信息

FASER是一个由Chaza等人设计的认证加密方案并提交到CAESAR竞赛.FASER使用两个具有相同长度的状态寄存器,一个用来加密另一个用来认证.FASER的状态寄存器可以分成两个部分,一部分由线性FSR更新另一部分由非线性FSR进行更新.一个滤波布尔函数用来产生密钥流,这个滤波布尔函数是由MAJ和MIX两个函数组成.我们主要评估了FASER加密过程的安全性,也就是密钥流生成阶段.我们指出FASER的最大缺陷就是线性FSR和非线性FSR直接不相互影响.因此通过线性逼近MAJ函数,可能寻找到只包含密钥流比特和线性FSR状态比特的线性关系式.对于FASER128和FASER256我们寻找到了许多这样的线性逼近等式,这些逼近等式的相关系数都是2-1.利用这个缺陷我们利用相关攻击来恢复线性FSR的内部状态,在预计算阶段寻找低重量倍式的时间复杂度是2-36,在线的复杂度是可以忽略不计的,它是线性FSR长度的多项式.攻击所需的数据量不超过2-36.此外,利用MAJ函数的性质,我们利用连续两步密钥流之间的关系构造了许多区分器,对于FASER128和FASER256这些区分器都具有2-2的相关系数.因此我们分别只需要16个FASER128或者FASER256的密钥流就可区分出密钥流和随机序列.这些区分器都没有利用MIX函数的设计缺陷,即使FASER的设计者修改了MIX函数的缺陷,我们的区分攻击依然起作用.我们还给出了在假设线性逼近中包含一个非线性FSR的状态比特的条件下如何恢复的内部状态的方法.

关键词：流密码 CAESAR FASER 相关攻击区分器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：