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

计算机学报 2014年第5期37卷 993-1016页

作者：雷新锋宋书民刘伟兵薛锐中国科学院信息工程研究所信息安全国家重点实验室北京100093 北京信息技术研究所北京100097

密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应... 详细信息

密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.

关键词：密码协议形式化方法计算可靠性信息安全网络安全

来源：评论

学校读者我要写书评

暂无评论

面向网络空间的访问控制模型

引用

通信学报 2016年第5期37卷 9-20页

作者：李凤华王彦超殷丽华谢绒娜熊金波中国科学院信息工程研究所信息安全国家重点实验室北京100093 北京电子科技学院信息安全系北京100070

提出一种面向网络空间的访问控制模型,记为CoAC。该模型涵盖了访问请求实体、广义时态、接入点、访问设备、网络、资源、网络交互图和资源传播链等要素,可有效防止由于数据所有权与管理权分离、信息二次/多次转发等带来的安全问题。通... 详细信息

提出一种面向网络空间的访问控制模型,记为CoAC。该模型涵盖了访问请求实体、广义时态、接入点、访问设备、网络、资源、网络交互图和资源传播链等要素,可有效防止由于数据所有权与管理权分离、信息二次/多次转发等带来的安全问题。通过对上述要素的适当调整可描述现有的经典访问控制模型,满足新的信息服务和传播模式的需求。给出了CoAC管理模型,使用Z-符号形式化地描述了管理模型中使用的管理函数和管理方法。该模型具有极大的弹性、灵活性和可扩展性,并可进一步扩充完善,以适应未来信息传播模式的新发展。

关键词：网络空间安全访问控制管理场景信息服务模式信息传播模式

来源：评论

学校读者我要写书评

暂无评论

基于有限约束满足问题的溢出漏洞动态检测方法

引用

计算机学报 2012年第5期35卷 898-909页

作者：陈恺冯登国苏璞睿中国科学院信息工程研究所信息安全国家重点实验室北京100195 中国科学院软件研究所北京100190

溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证... 详细信息

溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证程序覆盖的全面性与测试数据的针对性.文中提出了一种基于有限约束满足性问题(Constraint Satisfaction Problem,CSP)的溢出漏洞动态检测方法.在程序执行过程中,结合动态污点传播和动态循环分析,选取可能产生溢出漏洞的语句并生成CSP表达式,表达式包括语句的执行条件和漏洞产生条件两部分;通过对此CSP表达式化简求解,验证漏洞的存在性与漏洞的触发条件.该方法可直接分析可执行程序,解决了间接跳转、多态代码等静态分析中难以解决的问题.为了验证该方法的有效性,作者开发了一套原型系统并进行相关实验,结果表明该方法缩小了漏洞分析范围,提高了分析效率.

关键词：计算机安全漏洞检测动态检测 CSP 可执行程序

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce的大规模在线社交网络蠕虫仿真

引用

软件学报 2013年第7期24卷 1666-1682页

作者：和亮冯登国王蕊苏璞睿应凌云中国科学院软件研究所北京100190 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100193

利用云计算中的核心技术MapReduce,提出了一种在线社交网络(online social network,简称OSN)蠕虫的仿真方法.为了提高仿真精度,首先提出利用节点属性可调节的OSN有向图来描述蠕虫传播的各个过程.其次,利用运行在云环境中的多个Map函数和... 详细信息

利用云计算中的核心技术MapReduce,提出了一种在线社交网络(online social network,简称OSN)蠕虫的仿真方法.为了提高仿真精度,首先提出利用节点属性可调节的OSN有向图来描述蠕虫传播的各个过程.其次,利用运行在云环境中的多个Map函数和Reduce函数来实现对OSN蠕虫传播各个过程的仿真.在真实的大规模数据集上的仿真实验结果表明,提出的仿真方法不仅具有较强的可扩展性,同时也为相关领域的研究提供了一定的帮助.

关键词：在线社交网络蠕虫 MapReduce 仿真

来源：评论

学校读者我要写书评

暂无评论

5G移动通信网络安全研究

引用

软件学报 2018年第6期29卷 1813-1825页

作者：冯登国徐静兰晓计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

第五代(fifth gneration,简称5G)移动通信网络(简称5G网络或5G),是为构建网络型社会并实现万物互联的宏伟目标而提出的下一代移动网络.随着LTE等第四代移动通信网络进入规模化商用阶段,5G网络的研究已成为世界各国的关注焦点.5G网络的实... 详细信息

第五代(fifth gneration,简称5G)移动通信网络(简称5G网络或5G),是为构建网络型社会并实现万物互联的宏伟目标而提出的下一代移动网络.随着LTE等第四代移动通信网络进入规模化商用阶段,5G网络的研究已成为世界各国的关注焦点.5G网络的实现,需要依赖于系统架构和核心技术的变革与创新.目前,5G网络还处于技术和标准的初级研究阶段.5G网络的新架构、新业务、新技术对安全提出了新的挑战.简述了5G的性能指标、关键技术、应用场景及标准制定的进展,分析了5G网络的安全需求及其所面临的技术挑战.基于目前已有的研究工作和标准研制情况,提炼了5G安全框架,归纳并阐述了若干安全关键问题及其解决方案,展望了5G网络安全的未来研究方向.

关键词： 5G网络 5G网络安全认证框架切片安全隐私保护

来源：评论

学校读者我要写书评

暂无评论

移动群智感知中基于用户联盟匹配的隐私保护激励机制

引用

计算机研究与发展 2018年第7期55卷 1359-1370页

作者：熊金波马蓉牛犇郭云川林立福建师范大学数学与信息学院福州350117 中国科学院信息工程研究所北京100093 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

移动群智感知网络作为一种全新的物联网感知模式为实现泛在深度社会感知提供了一种全新的方式和手段.在移动群智感知网络中汇聚了大量蕴含用户敏感、隐私信息的感知数据,并能从中挖掘出大量极具应用价值的信息,这极大地增加了黑客攻击... 详细信息

移动群智感知网络作为一种全新的物联网感知模式为实现泛在深度社会感知提供了一种全新的方式和手段.在移动群智感知网络中汇聚了大量蕴含用户敏感、隐私信息的感知数据,并能从中挖掘出大量极具应用价值的信息,这极大地增加了黑客攻击、隐私数据泄露的风险.在激励更多感知用户参与感知任务并提供真实数据的同时如何更好地保护感知数据和感知平台的隐私安全成为一个突出而紧迫的关键问题.针对上述问题,提出一种基于布隆过滤器的用户联盟匹配方案,利用布隆过滤器和二元混淆向量内积计算进行相似度估计,在用户上传感知数据之前可选择进行用户联盟匹配形成感知用户联盟,从而有效保护个人隐私信息;同时针对现有隐私数据交集计算的效率问题提出一种轻量级感知数据交集计算协议,在不泄露任一方真实数据的情况下,实现隐私数据交集运算.最后提出一种基于用户联盟匹配的信誉感知激励机制,在提高感知任务处理效率的基础上有效地控制了预算开支.安全分析表明:所提用户联盟匹配方案是可证明安全的,所提感知数据交集计算协议是安全的.性能分析和实验结果表明:所提出的信誉感知激励机制是高效的.

关键词：移动群智感知联盟匹配隐私交集计算信誉激励隐私保护

来源：评论

学校读者我要写书评

暂无评论

基于网络攻击面自适应转换的移动目标防御技术

引用

计算机学报 2018年第5期41卷 1109-1131页

作者：雷程马多贺张红旗杨英杰王利明信息工程大学密码工程学院郑州450001 河南省信息安全重点实验室郑州450001 中国科学院信息工程研究所信息安全国家重点实验室北京100093

移动目标防御是一种改变网络空间攻防对抗格局的革命性技术,它通过动态改变攻击面使得目标网络更具弹性.网络跳变作为有效抵御主动扫描的防御方法,是实现移动目标防御的关键技术之一.现有跳变机制由于在空间上采用随机选取方法并在时域... 详细信息

移动目标防御是一种改变网络空间攻防对抗格局的革命性技术,它通过动态改变攻击面使得目标网络更具弹性.网络跳变作为有效抵御主动扫描的防御方法,是实现移动目标防御的关键技术之一.现有跳变机制由于在空间上采用随机选取方法并在时域采用固定跳变周期,极大降低了跳变防御的不可预测性和时效性;与此同时,由于跳变实施过程缺乏约束且跳变部署复杂度高,因此增加了网络开销,降低了跳变防御的可用性和可扩展性.针对以上问题,文中提出了一种基于网络攻击面自适应转换的移动目标防御技术.为了实现网络跳变收益的最大化,在分层跳变的架构上设计了一种网络自适应跳变算法.它由网络威胁感知和跳变策略生成两部分组成.通过设计基于Sibson熵的威胁感知机制分析扫描攻击策略,以指导网络跳变机制的选择;基于网络攻击面和网络探测面定义了网络视图和视图距离,通过设计基于视图距离的跳变策略生成算法,选取使得视图距离最大的跳变端信息集合,以最大化跳变的不可预测性;此外,通过采用跳变周期自拉伸策略保证跳变的时效性.从而通过基于视图距离的跳变策略选取与可变的跳变周期制定实现网络攻击面时空二维的自适应转换,最大化防御收益.为了解决网络资源有限条件下的跳变实施问题,利用可满足性模理论形式化描述跳变实施的约束条件,以保证跳变实施的可用性;通过设计启发式跳变实施部署算法以提高部署效率,以保证跳变防御的可扩展性.最后,理论与实验分析了该技术抵御扫描攻击的能力和跳变成本,通过以不同类型的扫描攻击为例证明了该技术在保证网络服务质量的同时可有效抵御92.1%以上的主动扫描攻击.

关键词：移动目标防御网络攻击面网络探测面网络欺骗网络视图启发式跳变部署

来源：评论

学校读者我要写书评

暂无评论

ARX结构分组密码积分区分器的自动化搜索

引用

通信学报 2018年第5期39卷 103-110页

作者：韩亚王明生中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

首先,基于三子集传播的积分可分性质,分别构造ARX结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立ARX结构分组密码积分传播方程;最后,遍历满足一定数... 详细信息

首先,基于三子集传播的积分可分性质,分别构造ARX结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立ARX结构分组密码积分传播方程;最后,遍历满足一定数据复杂度的积分输入,自动化搜索缩减轮数的ARX结构分组密码积分区分器。利用该方法能高效地自动化搜索ARX结构,包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器。

关键词： ARX 三子集积分区分器 SAT/SMT

来源：评论

学校读者我要写书评

暂无评论

基于区块链的去中心化信贷系统及应用

引用

通信学报 2019年第8期40卷 169-177页

作者：王明生曹鹤阳李佩瑶中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

提出了去中心化信贷系统,并给出了其构造应用。通过扩展基于区块链的“数字货币商品”的交易结构、扩展共识协议的功能和增加特定账户的方法,来构造去中心化信贷系统。同时,将去中心化信贷系统应用到基于区块链的PKI增强与监督系统IKP,... 详细信息

提出了去中心化信贷系统,并给出了其构造应用。通过扩展基于区块链的“数字货币商品”的交易结构、扩展共识协议的功能和增加特定账户的方法,来构造去中心化信贷系统。同时,将去中心化信贷系统应用到基于区块链的PKI增强与监督系统IKP,从而使IKP系统在运行中不需要全局基金,并且通过在去中心化信贷系统中引入分层“虚拟货币商品”供应量调节机制缓解基于区块链的“数字货币商品”在“虚拟货币商品”供给量上难以调节的问题,实现精确调节“虚拟货币商品”供应量。

关键词：区块链 “数字货币商品” 信贷系统去中心化

来源：评论

学校读者我要写书评

暂无评论

基于Haar小波域指标自适应选择载体的JPEG隐写

引用

软件学报 2018年第8期29卷 2501-2510页

作者：黄炜赵险峰厦门大学软件学院福建厦门361005 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

为了解决目前图像纹理复杂度建模的隐写载体选择指标难以有效适用于JPEG隐写的问题,提出一种基于Haar小波域指标自适应选择载体的JPEG隐写方法,以高阶Haar小波变换模型建立JPEG图像像素关系,计算各方向上的分解图像矩阵的范数均值,用于... 详细信息

为了解决目前图像纹理复杂度建模的隐写载体选择指标难以有效适用于JPEG隐写的问题,提出一种基于Haar小波域指标自适应选择载体的JPEG隐写方法,以高阶Haar小波变换模型建立JPEG图像像素关系,计算各方向上的分解图像矩阵的范数均值,用于选择难以被检测的载体.该指标比已有方法的像素间建模能力更强,更能反映JPEG隐写所影响的像素间关系,且能增强JPEG隐写的隐蔽性.实验结果表明,在大多数情况下,与现有载体选择指标相比,该方法与隐写隐蔽性具有更高的相关性.使用该方法优选的载体进行隐写,比优选前的隐蔽性提高约7.7%,比用现有指标优选载体的JPEG隐写方法的隐蔽性平均提高约2.0%.因此,该方法隐写具有更高的隐蔽性.

关键词：隐写载体选择 Haar小波范数

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：