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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

入侵告警信息聚合与关联技术综述

引用

计算机应用与软件 2019年第4期36卷 286-294页

作者：李祉岐黄金垒王义功胡浩刘玉岭北京国网思极网安科技有限公司北京100071 信息工程大学河南郑州450001 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学网络空间安全学院北京100190

告警聚合与关联是入侵检测研究的一个关键问题,可以有效解决IDS在实际应用中存在大量重复告警和高误报率的不足。介绍告警聚合和关联的重要性,对现有告警聚合和关联技术进行深入分析比较;总结归纳现有告警聚合与关联的体系结构与应用准... 详细信息

告警聚合与关联是入侵检测研究的一个关键问题,可以有效解决IDS在实际应用中存在大量重复告警和高误报率的不足。介绍告警聚合和关联的重要性,对现有告警聚合和关联技术进行深入分析比较;总结归纳现有告警聚合与关联的体系结构与应用准则;对当前研究面临的重要技术难题与发展趋势进行展望。

关键词：网络安全入侵检测告警聚合告警关联

来源：评论

学校读者我要写书评

暂无评论

SSL/TLS协议实现与部署安全研究综述

SSL/TLS协议实现与部署安全研究综述

引用

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

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

SSL/TLS协议是目前通信安全和身份鉴别方面应用最为广泛的安全协议之一,对于保障当前信息系统的安全有着十分重要的作用.然而由于SSL/TLS协议的复杂性,使得应用系统在实现和部署SSL/TLS协议时,很容易出现代码实现漏洞、部署配置缺陷和... 详细信息

SSL/TLS协议是目前通信安全和身份鉴别方面应用最为广泛的安全协议之一,对于保障当前信息系统的安全有着十分重要的作用.然而由于SSL/TLS协议的复杂性,使得应用系统在实现和部署SSL/TLS协议时,很容易出现代码实现漏洞、部署配置缺陷和证书密钥管理问题等安全缺陷.这类实现安全问题在现实系统中经常发生,也造成了许多安全事件,影响了大批网络应用.因此,近年来SSL/TLS协议实现与部署安全受到了研究者的广泛关注.本文首先介绍了SSL/TLS协议的实现和部署现状及在实现中可能产生的安全问题:之后从代码实现安全、部署配置安全和SSL/TLS安全增强方案设计分析等方面对对近年来SSL/TLS协议进行了介绍;最后,对SSL/TLS实现安全研究现状进行了总结并讨论了未来可能的研究方向.

关键词：计算机网络 SSL协议 TLS协议通信安全

来源：评论

学校读者我要写书评

暂无评论

一种实用的基于eID的属性证明协议

一种实用的基于eID的属性证明协议

引用

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

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

为了应对互联网安全危机,世界各国都加强了对于互联网上网民身份的管控.在我国,也开始推行网络电子身份标识(eID:electronic identity)技术.身份和属性证明是eID的两个重要功能.在本文中,提出了一种基于eID的属性证明方案.在该方案中,... 详细信息

为了应对互联网安全危机,世界各国都加强了对于互联网上网民身份的管控.在我国,也开始推行网络电子身份标识(eID:electronic identity)技术.身份和属性证明是eID的两个重要功能.在本文中,提出了一种基于eID的属性证明方案.在该方案中,属性权威为用户签发属性凭证,凭证中可以包含多个属性信息,用户可以在需要出示属性时可以仅出示部分属性而不泄露其他属性信息.与U-Prove等方案相比,本方案计算性能高,不限制属性的个数和顺序,具有很强的实用性.

关键词：计算机网络网络电子身份标识属性证明协议计算性能安全性

来源：评论

学校读者我要写书评

暂无评论

一种可信网络身份管理方法

一种可信网络身份管理方法

引用

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

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

加强网络身份管理已经成为了世界各国的共识,欧美、俄罗斯、澳大利亚等国都开展了网络空间身份管理方面的战略部署.我国也已经建设完成了“公安部公民网络身份识别系统”对网络身份进行管理.本文对当前可信身份管理的现状进行了分析,基... 详细信息

加强网络身份管理已经成为了世界各国的共识,欧美、俄罗斯、澳大利亚等国都开展了网络空间身份管理方面的战略部署.我国也已经建设完成了“公安部公民网络身份识别系统”对网络身份进行管理.本文对当前可信身份管理的现状进行了分析,基于网络身份识别系统,提出了一种可信身份管理模型和可信身份链的构建方法,可以以较低的代价把现有的身份管理系统纳入到可信身份管理体系中.

关键词：网络空间可信身份管理身份识别

来源：评论

学校读者我要写书评

暂无评论

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

引用

信息安全学报 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%的运行开销。

关键词：控制流完整性

来源：评论

学校读者我要写书评

暂无评论

基于贝叶斯攻击图的网络入侵意图识别方法

引用

计算机工程与应用 2019年第22期55卷 73-79页

作者：王洋吴建英黄金垒胡浩刘玉岭信息工程大学三院郑州450001 北京市公安局网络安全保卫总队北京100010 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学网络空间安全学院北京101408

现有入侵意图识别方法对报警证据的有效性缺乏考虑,影响了入侵意图识别的准确性。为此提出基于贝叶斯攻击图的入侵意图识别方法。首先建立贝叶斯攻击图模型,然后通过定义报警的置信度及报警间的关联强度,去除低置信水平的孤立报警;根据... 详细信息

现有入侵意图识别方法对报警证据的有效性缺乏考虑,影响了入侵意图识别的准确性。为此提出基于贝叶斯攻击图的入侵意图识别方法。首先建立贝叶斯攻击图模型,然后通过定义报警的置信度及报警间的关联强度,去除低置信水平的孤立报警;根据提取到的有效报警证据进行贝叶斯后验推理,动态更新攻击图中各状态节点遭受攻击的概率,识别网络中已发生和潜在的攻击行为。实验结果表明,该方法能有效提取报警证据,提高网络入侵预测的准确性。

关键词：意图识别贝叶斯攻击图漏洞利用报警置信度报警关联强度

来源：评论

学校读者我要写书评

暂无评论

一种基于改进差分进化算法的源码漏洞检测模型的冷启动方法

引用

计算机应用研究 2023年第7期40卷 2170-2178页

作者：袁子龙吴秋新刘韧秦宇北京信息科技大学理学院北京100192 北京卓识网安技术股份有限公司北京100192 中国科学院软件研究所可信计算与信息保障实验室北京100190

源码漏洞检测作为重要的研究课题,其传统方法在面对规模庞大、脆弱性多样化的代码时,存在人工参与度高、未知漏洞检测能力弱等诸多问题。针对以上问题,基于开放源代码的语法语义信息,提出了改进差分进化算法的源码漏洞检测模型冷启动优... 详细信息

源码漏洞检测作为重要的研究课题,其传统方法在面对规模庞大、脆弱性多样化的代码时,存在人工参与度高、未知漏洞检测能力弱等诸多问题。针对以上问题,基于开放源代码的语法语义信息,提出了改进差分进化算法的源码漏洞检测模型冷启动优化方法。运用源码切片技术、启发式优化算法及神经网络模型,解决了漏洞检测模型在启动之初超参数无法准确选定的问题。对于实验中样本信息冗余和正负样本鲜明特征混和的情况,提出了正负样本鲜明特征交叉剔除的思想以减小模型的漏报率及误报率。实验表明,该方法可以有效加速模型的收敛,使得模型在10个epoch内达到稳定,在提升源码漏洞检测模型准确率的同时其收敛速度比其他模型提升了2~3倍。在后续改进实验中,源码漏洞检测模型在所有类型漏洞的准确率上均提高了1~3个百分点,充分证明了改进措施的有效性。该方法的优化策略和改进措施同样适用于其他神经网络分类模型,可以为漏洞检测领域探索新方法和新模型提供思路。

关键词：语法语义改进差分进化漏洞检测 BiGRU

来源：评论

学校读者我要写书评

暂无评论

面向卫星通信网络的威胁情报关键技术

引用

软件工程与应用 2020年第5期9卷 403-411页

作者：董坤李序刘艳梅李洋张海霞黄克振中国卫通集团有限公司北京中国科学院软件研究所可信计算与信息保障实验室北京中国科学院大学北京

随着卫星通信网络的逐步推广应用,如何保障此类新型网络环境的安全性成为业界的关注重点。本文提出将威胁情报相关技术引入卫星通信网络的安全防护工作,分析了卫星通信网络威胁情报面临的技术挑战,提出了面向卫星通信网络的威胁情报技... 详细信息

随着卫星通信网络的逐步推广应用,如何保障此类新型网络环境的安全性成为业界的关注重点。本文提出将威胁情报相关技术引入卫星通信网络的安全防护工作,分析了卫星通信网络威胁情报面临的技术挑战,提出了面向卫星通信网络的威胁情报技术架构,对其中关键的威胁情报分析挖掘技术进行了阐述,并对未来研究工作进行了展望。

关键词：网络安全威胁情报卫星通信网络数据治理人工智能

来源：评论

学校读者我要写书评

暂无评论

基于MQTT协议扩展的IoT设备完整性监控

引用

计算机系统应用 2022年第11期31卷 68-78页

作者：齐兵秦宇李敏虹谢宏尚科彤冯伟李为中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190 深圳供电局有限公司深圳518028

随着物联网飞速发展,设备数量呈指数级增长,随之而来的IoT安全问题也受到了越来越多的关注.通常IoT设备完整性认证采用软件证明方法实现设备完整性校验,以便及时检测出设备中恶意软件执行所导致的系统完整性篡改.但现有IoT软件证明存在... 详细信息

随着物联网飞速发展,设备数量呈指数级增长,随之而来的IoT安全问题也受到了越来越多的关注.通常IoT设备完整性认证采用软件证明方法实现设备完整性校验,以便及时检测出设备中恶意软件执行所导致的系统完整性篡改.但现有IoT软件证明存在海量设备同步证明性能低、通用IoT通信协议难以扩展等问题.针对这些问题,本文提供一种轻量级的异步完整性监控方案,在通用MQTT协议上扩展软件证明安全认证消息,异步推送设备完整性信息,在保障IoT系统高安全性的同时,提高了设备完整性证明验证效率.我们的方案实现了以下3方面安全功能:以内核模块方式实现设备完整性度量功能,基于MQTT的设备身份和完整性轻量级认证扩展,基于MQTT扩展协议的异步完整性监控.本方案能够抵抗常见的软件证明和MQTT协议攻击,具有轻量级异步软件证明、通用MQTT安全扩展等特点.最后在基于MQTT的IoT认证原型系统的实验结果表明,IoT节点的完整性度量、MQTT协议连接认证、PUBLISH报文消息认证性能较高,都能满足海量IoT设备完整性监控的应用需求.

关键词：物联网安全完整性度量 MQTT协议安全扩展软件证明可信计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：