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

计算机研究与发展 2017年第10期54卷 2268-2283页

作者：张英骏冯登国秦宇杨波中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

针对BYOD(bring your own device)、移动云计算等兼具强安全性、高开放性需求的新型应用场景,提出了一种移动嵌入式平台敏感应用防护方案.为满足强安全性需求,方案基于ARM TrustZone硬件隔离技术构建可信执行环境,即使在整个操作系统内... 详细信息

针对BYOD(bring your own device)、移动云计算等兼具强安全性、高开放性需求的新型应用场景,提出了一种移动嵌入式平台敏感应用防护方案.为满足强安全性需求,方案基于ARM TrustZone硬件隔离技术构建可信执行环境,即使在整个操作系统内核被攻破的情况下仍能保证敏感应用的安全.为满足高开放性需求,方案实现了传统TrustZone安全方案不具备的两大优势.首先,将TrustZone保护域扩展至普通世界,安全世界不再实现具体的敏感应用,而只实现一个轻量级监控模块用以监控普通世界内核的行为.因此整个系统可信计算基不随敏感应用数量的增加而增大,减少了其可攻击面和潜在漏洞。其次,监控模块确保内核为这些敏感应用提供安全的系统服务,从而为满足开放性需求提供关键功能支持,例如提供标准系统调用接口、敏感应用动态部署和加载等.最后,方案提出了内核主动证明机制,要求内核主动提供关键信息协助监控模块验证其自身行为,有效提高了系统运行效率.在真实设备上实现了原型系统,实验结果证明了该方案的安全性和较为理想的运行效率.

关键词： TrustZone 可信执行环境敏感应用防护内核监控内核主动证明

来源：评论

学校读者我要写书评

暂无评论

云环境下设备身份管理技术与模式研究

云环境下设备身份管理技术与模式研究

引用

2018年全国电子认证技术交流大会

作者：张严中国科学院软件研究所可信计算与信息保障实验室北京100190

移动终端与云服务间的连接已成为当前最主要的网络接入方式,而身份管理则是建立其间可信连接所必需的安全基础.然而,这一场景的虚拟化、移动化等特点增加了安全机制的实施难度,加之现有接入方案研究滞后,严重阻碍了云服务的普及和推广.... 详细信息

移动终端与云服务间的连接已成为当前最主要的网络接入方式,而身份管理则是建立其间可信连接所必需的安全基础.然而,这一场景的虚拟化、移动化等特点增加了安全机制的实施难度,加之现有接入方案研究滞后,严重阻碍了云服务的普及和推广.本文针对云环境下设备与服务间可信连接场景的安全需求进行了调研,总结归纳了云环境中设备身份管理技术的现状,并在此基础上提出了当前设备与云服务间连接中的身份管理框架针对上述安全需求,讨论了未来一段时间内,云环境设备身份管理的几个可能研究方向及可参考的技术方案.本文的研究内容对于增强云环境设备与服务连接的安全性,推进云环境应用发展具有意义.

关键词：云计算设备身份管理可信连接技术数据完整性保护

来源：评论

学校读者我要写书评

暂无评论

一种可抵抗统计攻击的安全索引

引用

计算机研究与发展 2017年第2期54卷 295-304页

作者：惠榛冯登国张敏洪澄中国科学院软件研究所可信计算与信息保证实验室北京1000190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

现有的大部分可检索加密方案建立的安全索引面临着统计攻击的威胁.为了抵抗统计攻击,部分方案设计出关键词?文档一一对应的陷门,以检索时多次的陷门计算为代价保证安全性,但是这样又导致检索速度过于慢而无法接受.为此,研究了针对密文... 详细信息

现有的大部分可检索加密方案建立的安全索引面临着统计攻击的威胁.为了抵抗统计攻击,部分方案设计出关键词?文档一一对应的陷门,以检索时多次的陷门计算为代价保证安全性,但是这样又导致检索速度过于慢而无法接受.为此,研究了针对密文的安全检索方案,在克服已有方案缺点的同时保证对于统计攻击的安全性.该方案使用Bloom过滤器为文档的关键词构造索引.为了确保检索效率,对于相同的关键词构造唯一对应的陷门.通过增加伪造的文档索引,并且在索引中进行插值来确保每个关键词在文档集合中出现的次数相似,从而达到语义安全并且能够抵抗统计攻击.在实现中,对索引进行倒排进一步提高检索效率.证明了本方案的安全性,且采用实验验证了其有效性和高效性.

关键词：可检索加密统计泄露倒排索引 Bloom过滤器访问模式

来源：评论

学校读者我要写书评

暂无评论

基于卷积降噪自编码器的藏文历史文献版面分析方法

引用

中文信息学报 2018年第7期32卷 67-73,81页

作者：张西群马龙龙段立娟刘泽宇吴健北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 中国科学院软件研究所中文信息处理实验室北京100190 大规模流数据集成与分析北京市重点实验室北京100124

近年来,随着人们对历史和传统文化的保护和传承越来越重视,研究人员对历史文献数字化的兴趣也越来越高涨。版面分析是历史文献数字化的重要基础步骤,该文提出了一种基于卷积降噪自编码器的藏文历史文献版面分析方法。首先,将藏文历史文... 详细信息

近年来,随着人们对历史和传统文化的保护和传承越来越重视,研究人员对历史文献数字化的兴趣也越来越高涨。版面分析是历史文献数字化的重要基础步骤,该文提出了一种基于卷积降噪自编码器的藏文历史文献版面分析方法。首先,将藏文历史文献图像进行超像素聚类获得超像素块;然后,利用卷积降噪自编码器提取超像素块的特征;最后,使用SVM分类器对藏文历史文献的超像素块进行分类预测,从而提取出藏文历史文献版面的各个部分。在藏文历史文献数据集上的实验表明,该方法能够对藏文历史文献的不同版面元素进行有效的分离。

关键词：藏文历史文献版面分析卷积降噪自编码器超像素

来源：评论

学校读者我要写书评

暂无评论

通用可组合的网关口令认证密钥交换协议

引用

计算机学报 2017年第5期40卷 1109-1120页

作者：胡学先张启慧张振峰刘凤梅中国人民解放军信息工程大学郑州450002 中国科学院软件研究所可信计算与信息保障实验室北京100190 信息保障技术重点实验室北京100072

网关口令认证密钥交换(GPAKE)协议是一类特殊的三方协议,其中客户和认证服务器共享有低熵口令,客户和网关在服务器的协助下生成高熵的会话密钥.由于通信架构更贴近实际,GPAKE协议研究近年来受到了较多的关注.然而,已有GPAKE协议都是在传... 详细信息

网关口令认证密钥交换(GPAKE)协议是一类特殊的三方协议,其中客户和认证服务器共享有低熵口令,客户和网关在服务器的协助下生成高熵的会话密钥.由于通信架构更贴近实际,GPAKE协议研究近年来受到了较多的关注.然而,已有GPAKE协议都是在传统"孤立"的安全模型中进行分析和设计的,没有考虑协议的可组合安全,也没有考虑用户将相关口令用于不同协议时的影响.为了保证GPAKE协议在更接近实际应用的复杂环境下的安全性,该文在通用可组合(UC)框架下研究GPAKE协议的安全性定义,给出了GPAKE的理想功能,对会话密钥安全、防止恶意网关猜测客户口令以及保持会话密钥相对于服务器的私密性等安全目标进行了刻画,保证了协议在复杂应用环境中的可组合安全性,还考虑了用户将服从任意分布的、甚至是与其他协议相关的口令用于GPAKE协议的情况.另外,利用UC安全两方PAKE协议、消息认证码为组件,给出了GPAKE协议的一个通用构造,使其能够被实例化得到多个具体的协议,并证明了该通用构造是UC安全的,即能够UC安全实现GPAKE理想功能.

关键词：可证明安全通用可组合口令认证密钥交换网关协议

来源：评论

学校读者我要写书评

暂无评论

强安全的匿名隐式漫游认证与密钥协商方案

引用

计算机研究与发展 2017年第12期54卷 2759-2771页

作者：陈明宜春学院数学与计算机科学学院江西宜春336000 可信计算与信息保障国家重点实验室(中国科学院软件研究所) 北京100190

现有两方漫游认证与密钥协商方案没有考虑抵抗临时秘密泄露的安全性,仅在CK模型下可证明安全.基于椭圆曲线密码体制和基于身份密码系统,采用Schnorr签名算法设计了类似HMQV方案的"挑战-应答"签名,进而构造了一种基于隐式认证... 详细信息

现有两方漫游认证与密钥协商方案没有考虑抵抗临时秘密泄露的安全性,仅在CK模型下可证明安全.基于椭圆曲线密码体制和基于身份密码系统,采用Schnorr签名算法设计了类似HMQV方案的"挑战-应答"签名,进而构造了一种基于隐式认证技术的、具有强安全性和匿名性的两方漫游认证密钥协商方案.随后,扩展了ID-BJM模型,使之能模拟两方漫游认证与密钥协商方案.在扩展的安全模型下,新方案的安全性被规约为多项式时间敌手求解椭圆曲线上的计算Diffie-Hellman问题,实现了eCK安全.对比分析表明:新方案具有更强的安全性,能抵抗临时秘密泄露攻击,需要实现的密码算法更少,计算、通信和存储开销都相对较低.新方案可应用于移动通信网络、物联网或泛在网络中,为资源约束型移动终端提供安全的漫游接入服务.

关键词：认证密钥协商移动漫游服务基于身份密码系统隐式认证计算Diffie Hellman问题 eCK模型

来源：评论

学校读者我要写书评

暂无评论

两个保密位置判断问题的新解法

引用

计算机学报 2018年第2期41卷 336-348页

作者：陈振华李顺东黄琼董立红陈娓西安科技大学计算机科学与技术学院西安710054 中国科学院信息工程研究所信息安全国家重点实验室北京100093 桂林电子科技大学广西可信软件重点实验室.广西桂林541004 陕西师范大学计算机科学学院西安710062 华南农业大学数学与信息学院广州510642

保护隐私的位置判断是一种具体的安全多方计算几何问题,这种问题是指各个参与者位于平面或者空间中的一个位置,在保持各自输入隐私的条件下,判断他们之间的相对位置.点包含问题是保密判断一个点是否落在一个凸多边形的内部;两组数据对... 详细信息

保护隐私的位置判断是一种具体的安全多方计算几何问题,这种问题是指各个参与者位于平面或者空间中的一个位置,在保持各自输入隐私的条件下,判断他们之间的相对位置.点包含问题是保密判断一个点是否落在一个凸多边形的内部;两组数据对应成比例问题可保密判断空间中两个平面或直线是否平行,这两个问题同属于安全多方几何计算中保护隐私的位置判断问题.目前该两个问题的已存方案由于转化方法的问题,并不太高效,因此研究如何构造高效协议有着重要的意义.针对这个问题,该文首先将点包含问题转化为三角形面积问题;将两组数据对应成比例问题转化为向量共线问题,然后基于内积协议解决了这两个问题.最后,将该文的两个协议作为基础协议,分别给出了三个应用:保密判断凸多边形包含、三角形相似、空间几何对象的相对位置.最后的分析显示,相比以往的方案,作者的转化技巧是全新的,避免了以往方案中多个基础协议的使用和循环语句的不断调用的缺陷,这使得方案更加简洁,效率得到了提高.

关键词：安全多方计算点包含数据对应成比例内积位置关系判断

来源：评论

学校读者我要写书评

暂无评论

基于攻击图的网络安全度量研究综述

引用

网络与信息安全学报 2018年第9期4卷 1-16页

作者：胡浩刘玉岭张玉臣张红旗信息工程大学三院河南郑州450001 河南省信息安全重点实验室河南郑州450001 中国科学院软件研究所可信计算与信息保障实验室北京100190

网络安全度量面临的主要挑战之一,即如何准确地识别目标网络系统中入侵者利用脆弱性之间的依赖关系进行威胁传播,量化对网络系统的潜在影响。攻击图由于具备优越的可视化展示能力,是解决该问题的有效途径之一。首先,介绍了安全度量的概... 详细信息

网络安全度量面临的主要挑战之一,即如何准确地识别目标网络系统中入侵者利用脆弱性之间的依赖关系进行威胁传播,量化对网络系统的潜在影响。攻击图由于具备优越的可视化展示能力,是解决该问题的有效途径之一。首先,介绍了安全度量的概念、发展历程和通用测度模型;然后,阐述攻击图构建、分类和应用的相关研究;其次,提出一种基于攻击图的层次化安全度量框架,从关键"点"、攻击"线"和态势"面"3个层次总结归纳了现有网络安全度量方法;最后,阐述了目前研究面临的难点问题与发展趋势。

关键词：网络安全度量攻击图安全漏洞告警分析量化评估

来源：评论

学校读者我要写书评

暂无评论

安全多方向量计算

引用

计算机学报 2017年第5期40卷 1134-1150页

作者：周素芳窦家维郭奕旻毛庆李顺东陕西师范大学计算机科学学院西安710062 陕西师范大学数学与信息科学学院西安710062 中国科学院软件研究所可信计算与信息保障实验室北京100190

安全多方计算是密码学一个重要研究方向,是国际密码学界的热点.文中研究向量问题的安全多方计算.一个向量通常由多个分量组成,每个分量可以表示不同的物理意义,因此对向量的计算,相当于同时对具有不同物理意义的分量分别计算.对向量进... 详细信息

安全多方计算是密码学一个重要研究方向,是国际密码学界的热点.文中研究向量问题的安全多方计算.一个向量通常由多个分量组成,每个分量可以表示不同的物理意义,因此对向量的计算,相当于同时对具有不同物理意义的分量分别计算.对向量进行高效保密计算,具有重要的理论与实际意义,因此安全多方向量计算成为安全多方计算的一个重要问题.但是该问题现在还没有直接的解决方案,现有的相关方案都是一些朴素的解决方案,即利用加法同态加密算法对向量的每个分量分别加密,然后计算所有向量分量的和,进而实现向量的计算,其效率比较低.文中利用哥德尔编码将向量和自然数一一对应,并借助语义安全乘法同态加密算法设计了一个可以直接对向量进行计算的高效保密计算方案.文中进一步将向量与多项式对应,利用NTRU加密算法设计了一种可能抵抗量子攻击的高效向量计算方案.使用安全多方计算普遍采用的模拟范例证明方法证明了这些方案在半诚实模型下是安全的.作为方案的应用,文中提出了高效的安全统计方案和高效的安全电子选举方案.

关键词：密码学安全多方计算向量计算安全统计安全电子选举

来源：评论

学校读者我要写书评

暂无评论

基于攻击预测的网络安全态势量化方法

引用

通信学报 2017年第10期38卷 122-134页

作者：胡浩叶润国张红旗杨英杰刘玉岭解放军信息工程大学三院河南郑州450001 河南省信息安全重点实验室河南郑州450001 中国电子技术标准化研究院北京100007 中国科学院软件研究所可信计算与信息保障实验室北京100190

为准确、全面地预测攻击行为并量化攻击威胁,提出一种基于攻击预测的安全态势量化方法。通过融合攻击方、防御方和网络环境态势要素,依据实时检测的攻击事件评估攻击者能力和漏洞利用率,并计算攻防期望耗时;进而设计基于动态贝叶斯攻击... 详细信息

为准确、全面地预测攻击行为并量化攻击威胁,提出一种基于攻击预测的安全态势量化方法。通过融合攻击方、防御方和网络环境态势要素,依据实时检测的攻击事件评估攻击者能力和漏洞利用率,并计算攻防期望耗时;进而设计基于动态贝叶斯攻击图的攻击预测算法,推断后续攻击行为;最后从主机和网络这2个层面将攻击威胁量化为安全风险态势。实例分析表明,该方法符合实际对抗网络环境,能够准确预测攻击发生时间并合理量化攻击威胁。

关键词：攻击预测安全态势贝叶斯攻击图攻防对抗时间预测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：