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

软件学报 2015年第7期26卷 1742-1756页

作者：黄亮冯登国连一峰陈恺张颖君刘玉岭中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院信息工程研究所北京100195

DDo S攻击是网络中最大的威胁之一,选取合适的防护措施,能够更加有效地保护目标网络和目标系统.现有的评价方法对于防护措施选择的指导性不足.针对该问题,首先构建了面向DDo S攻击的防护措施遴选模型(DCSM).在此基础之上,提出基于多属... 详细信息

DDo S攻击是网络中最大的威胁之一,选取合适的防护措施,能够更加有效地保护目标网络和目标系统.现有的评价方法对于防护措施选择的指导性不足.针对该问题,首先构建了面向DDo S攻击的防护措施遴选模型(DCSM).在此基础之上,提出基于多属性决策的DDo S防护措施遴选算法.以多属性决策方法综合考虑各方面评估指标;从攻防两方面,以基于历史攻击偏好的方法和熵权法计算重要性权重,消除了传统评价方法中人为指定权重带来的主观性影响.提出的方法为防护措施的选择提供了参考,并通过模拟实验验证了方法的适用性和有效性.

关键词：多属性决策 DDo S 安全防护措施遴选安全评估

来源：评论

学校读者我要写书评

暂无评论

二进制代码块:面向二进制程序的细粒度控制流完整性校验方法

引用

信息安全学报 2016年第2期1卷 61-72页

作者：王明华尹恒 Abhishek Vasisht Bhaskar 苏璞睿冯登国百度X-Lab 雪城大学中国科学院软件研究所计算机科学国家重点实验室中国科学院软件研究所可信计算与信息保障实验室

控制流完整性(CFI)是一种在程序中通过保护间接转移有效减少代码注入和代码重用攻击等威胁的技术。由于二进制程序缺少源代码级别的语义,CFI策略的设定需要很谨慎。现有的面向二进制的CFI解决方案,如Bin CFI和CCFIR,虽然能够提供对二进... 详细信息

控制流完整性(CFI)是一种在程序中通过保护间接转移有效减少代码注入和代码重用攻击等威胁的技术。由于二进制程序缺少源代码级别的语义,CFI策略的设定需要很谨慎。现有的面向二进制的CFI解决方案,如Bin CFI和CCFIR,虽然能够提供对二进制程序的防护能力,但它们应用的策略过于宽松,依然会受到复杂的代码重用攻击。本文提出一种新的面向二进制的CFI保护方案,称为Bin CC。它可以通过静态二进制重写为x86下的二进制程序提供细粒度保护。通过代码复制和静态分析,我们把二进制代码分成几个互斥代码块。再进一步将代码中的每个间接转移块归类为块间转移或块内转移,并分别应用严格CFI策略来限制这些转移。为了评估Bin CC,我们引入新的指标来评估每种间接转移中合法目标的平均数量,以及利用call-preceded gadgets产生ROP漏洞利用的难度。实验结果表明与Bin CFI比较,Bin CC显著地将合法转移目标降低了81.34%,并显著增加了攻击者绕过CFI限制实施复杂的ROP攻击的难度。另外,与Bin CC可以降低大约14%的空间开销,而只提升了4%的运行开销。

关键词：控制流完整性

来源：评论

学校读者我要写书评

暂无评论

基于Trustzone的强安全需求环境下可信代码执行方案

引用

计算机研究与发展 2015年第10期52卷 2224-2238页

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

针对工业4.0等具有强安全需求、计算功能相对固定的新型信息化应用场景,基于白名单思想提出了1种移动嵌入式平台可信代码执行方案.利用ARM Trustzone硬件隔离技术构建可信执行环境,结合ARM虚拟内存保护机制,构造内核飞地,确保系统监控... 详细信息

针对工业4.0等具有强安全需求、计算功能相对固定的新型信息化应用场景,基于白名单思想提出了1种移动嵌入式平台可信代码执行方案.利用ARM Trustzone硬件隔离技术构建可信执行环境,结合ARM虚拟内存保护机制,构造内核飞地,确保系统监控模块无法被不可信内核篡改或绕过.以此为基础为可信进程提供可执行文件完整性、运行时代码完整性、控制流完整性3种层次的白名单保护,确保设备只能执行符合白名单策略的授权代码.通过构建通信客户端进程与Trustzone安全世界的安全共享内存区,利用Trustzone对外设中断事件的控制能力构建可信时钟中断源,确保Trustzone安全世界与中控服务器通信的隐私性、不可屏蔽性.在此基础上设计安全的白名单更新与平台状态证明协议.在真实设备上实现了原型系统,实验结果证明了该方案的安全性和较为理想的运行效率.

关键词：白名单可信代码执行 Trustzone技术可信执行环境内核飞地平台状态证明

来源：评论

学校读者我要写书评

暂无评论

分组密码TWINE的中间相遇攻击

引用

软件学报 2015年第10期26卷 2684-2695页

作者：汪艳凤吴文玲中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院研究生院北京100049

将Biclique初始结构与标准的三子集中间相遇攻击相结合,给出了一种普遍的中间相遇攻击模式.与Biclique分析相比,该模式下的攻击作为算法抗中间相遇攻击的结果更为合理.进一步地,评估了算法TWINE抗中间相遇攻击的能力,通过合理选择中立... 详细信息

将Biclique初始结构与标准的三子集中间相遇攻击相结合,给出了一种普遍的中间相遇攻击模式.与Biclique分析相比,该模式下的攻击作为算法抗中间相遇攻击的结果更为合理.进一步地,评估了算法TWINE抗中间相遇攻击的能力,通过合理选择中立比特位置以及部分匹配位置,给出了18轮TWINE-80以及22轮TWINE-128算法的中间相遇攻击结果.到目前为止,这是TWINE算法分析中数据复杂度最小的攻击结果.

关键词：分组密码 TWINE 中间相遇攻击 Biclique 数据复杂度

来源：评论

学校读者我要写书评

暂无评论

数据库形式化安全策略模型建模及分析方法

引用

通信学报 2015年第9期36卷 193-203页

作者：王榕张敏冯登国李昊中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190

目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加... 详细信息

目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。

关键词：形式化建模数据库定理证明安全策略模型

来源：评论

学校读者我要写书评

暂无评论

SM2椭圆曲线公钥密码算法综述

引用

信息安全研究 2016年第11期2卷 972-982页

作者：汪朝晖张振峰北京华大信安科技有限公司北京100015 中国科学院软件研究所可信计算与信息保障实验室室北京100190

SM2椭圆曲线公钥密码算法(简称SM2算法)于2010年12月首次公开发布,2012年成为中国商用密码标准(标准号为GM/T 0003—2012),2016年成为中国国家密码标准(标准号为GB/T32918—2016).简介SM2算法的研制背景,详细描述SM2算法,介绍SM2算法安... 详细信息

SM2椭圆曲线公钥密码算法(简称SM2算法)于2010年12月首次公开发布,2012年成为中国商用密码标准(标准号为GM/T 0003—2012),2016年成为中国国家密码标准(标准号为GB/T32918—2016).简介SM2算法的研制背景,详细描述SM2算法,介绍SM2算法安全性研究情况,并评估其实现效率.迄今为止与SM2算法相关的研究表明,SM2算法的可证安全性达到了公钥密码算法的最高安全级别,其实现效率相当于或略优于一些国际标准的同类椭圆曲线密码算法.

关键词：公钥密码算法椭圆曲线密码算法数字签名密钥交换加密解密 SM2算法

来源：评论

学校读者我要写书评

暂无评论

TCM密钥迁移协议设计及形式化分析

引用

软件学报 2015年第9期26卷 2396-2417页

作者：张倩颖冯登国赵世军中国科学院软件研究所可信计算与信息保障实验室北京100190 首都师范大学信息工程学院北京100048

为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移... 详细信息

为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移密钥的新父密钥,违背了TCM的初始设计思想;缺少交互双方TCM的相互认证,导致源TCM的被迁移密钥可以被外部敌手获得,并且敌手可以将其控制的密钥迁移到目标TCM中.针对上述问题,提出两个新的密钥迁移协议:协议1遵循TCM目前的接口规范,以目标TCM的PEK(platform encryption key)作为迁移保护密钥,能够认证目标TCM,并允许对称密钥作为新父密钥;协议2简单改动了TCM接口,以源TCM和目标TCM进行SM2密钥协商,得到的会话密钥作为迁移保护密钥,解决了上述两个问题,并且获得了前向安全属性.最后,使用形式化分析方法对上述协议进行安全性分析,分析结果显示,协议满足正确性和预期的安全属性.

关键词：可信计算可信密码模块密钥迁移协议设计形式化分析

来源：评论

学校读者我要写书评

暂无评论

常数签名长度的高效基于属性签名协议设计

引用

中国科学院大学学报（中英文） 2015年第5期32卷 708-713页

作者：张严张立武张茉莉中国科学院软件研究所可信计算与信息保障实验室北京100190 中国联合网络通信集团有限公司北京100033

作为一种新的密码学工具,基于属性的签名方案使得用户可以使用其属性信息作为公钥进行签名而无需证书绑定.该签名随后可被验证满足特定的访问控制结构,同时不会暴露用户的具体身份和属性信息.上述性质使得基于属性的签名在有效保护用户... 详细信息

作为一种新的密码学工具,基于属性的签名方案使得用户可以使用其属性信息作为公钥进行签名而无需证书绑定.该签名随后可被验证满足特定的访问控制结构,同时不会暴露用户的具体身份和属性信息.上述性质使得基于属性的签名在有效保护用户隐私的同时,实现了基于属性的访问控制,因此得到了许多关注.在本文中,我们对当前基于属性签名方案的效率进行了改进,提出了一个可以实现常数签名长度的门限式基于属性签名方案,并在随机预言机模型下对方案的安全性进行了证明.与现有方案相比,本方案在保持其它参数长度可实用的情况下,缩短了签名长度,提高了通信效率.

关键词：基于属性签名方案效率

来源：评论

学校读者我要写书评

暂无评论

一种大数据的访问控制框架和模型

一种大数据的访问控制框架和模型

引用

第三届CCF大数据学术会议

作者：惠榛李昊张敏冯登国中国科学院软件研究所可信计算与信息保障实验室

在收集到大数据后，企业(如医疗系统)面临着保护数据安全，防止隐私泄露的问题。访问控制作为保护数据的经典方法在大数据场景下面临着新的问题：面对大数据，制定准确的访问控制策略不仅需要策略制定者具备专业的领域知识，更是劳动密...

在收集到大数据后，企业(如医疗系统)面临着保护数据安全，防止隐私泄露的问题。访问控制作为保护数据的经典方法在大数据场景下面临着新的问题：面对大数据，制定准确的访问控制策略不仅需要策略制定者具备专业的领域知识，更是劳动密集型工作;大数据的复杂性也导致了用户实际需求不符合授权的情况。因此，大数据的访问控制需要具备自动化和自适应性两个特征。本文提出一种精化访问控制框架，以及在该框架下的一个基于风险的适应性访问控制模型，来实现上述两个特征。还给出了该框架和模型在医疗系统中的实施方法并进行实验。实验结果表明，该框架与模型是有效的。

关键词：

来源：评论

学校读者我要写书评

暂无评论

大数据安全与隐私保护

引用

计算机学报 2014年第1期37卷 246-258页

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

大数据(Big Data)是当前学术界和产业界的研究热点,正影响着人们日常生活方式、工作习惯及思考模式.但目前大数据在收集、存储和使用过程中面临着诸多安全风险,大数据所导致的隐私泄露为用户带来严重困扰,虚假数据将导致错误或无效的大... 详细信息

大数据(Big Data)是当前学术界和产业界的研究热点,正影响着人们日常生活方式、工作习惯及思考模式.但目前大数据在收集、存储和使用过程中面临着诸多安全风险,大数据所导致的隐私泄露为用户带来严重困扰,虚假数据将导致错误或无效的大数据分析结果.该文分析了实现大数据安全与隐私保护所面临的技术挑战,整理了若干关键技术及其最新进展.分析指出大数据在引入安全问题的同时,也是解决信息安全问题的有效手段.它为信息安全领域的发展带来了新的契机.

关键词：大数据大数据安全隐私保护信息安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：