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

高技术通讯 2017年第11期27卷 922-928页

作者：崔玲张建标郑爽李秀云北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法。该算法基... 详细信息

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法。该算法基于主动测试,先根据测试结果获得初始诊断集,然后由被动测试的逆向判定法得到错误诊断集,最后由测试序列进一步筛选得到最终的错误诊断结果。在生成和验证诊断集时,只对包含可疑转换的测试用例执行遍历操作,使算法更趋高效。算法分析和实例验证结果表明,该算法能够高效地诊断单个错误。

关键词：有限状态机(FSM) 一致性测试主动测试错误诊断

来源：评论

学校读者我要写书评

暂无评论

SDN架构下的安全审计系统研究与实现

引用

北京工业大学学报 2017年第2期43卷 180-191页

作者：刘静何运赖英旭北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124

为了解决软件定义网络(software defined networking,SDN)架构面临的安全挑战,针对SDN网络架构中的安全审计环节,将传统网络中的安全审计解决方案与SDN网络集中控制的特性相结合,依托Floodlight控制器设计并实现适用于SDN网络环境的安... 详细信息

为了解决软件定义网络(software defined networking,SDN)架构面临的安全挑战,针对SDN网络架构中的安全审计环节,将传统网络中的安全审计解决方案与SDN网络集中控制的特性相结合,依托Floodlight控制器设计并实现适用于SDN网络环境的安全审计系统,包括安全审计事件的收集、分析、存储、响应等功能.提出一种针对分布式拒绝服务(distributed denial of service,DDo S)攻击的攻击回溯算法对安全审计事件进行追溯,确定出DDo S攻击发起者及僵尸主机集合.同时,采用滑动窗口分割算法从安全审计事件中提取出用户行为序列模式,基于Levenshtein算法计算用户行为序列模式之间的相似度,并根据用户当前行为和历史行为的相似度来判断是否出现可疑的攻击行为.经实验验证,该系统能准确地回溯出DDo S攻击发生时被控的僵尸主机集合及攻击者,并且可以有效地检测出用户攻击行为.

关键词：软件定义网络(SDN) 安全审计 Floodlight 攻击回溯用户行为分析

来源：评论

学校读者我要写书评

暂无评论

基于通用智能卡的可信引导方案

引用

北京工业大学学报 2017年第1期43卷 100-107页

作者：阎林张建标张艾北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124 北京工业大学北京-都柏林国际学院北京100124

为了解决传统的操作系统引导机制存在关键验证信息被绕过的风险和引导数据被篡改的安全隐患,基于可信计算理论,结合带光盘文件系统的智能卡技术,提出了基于通用智能卡的可信引导方案.在不改变智能卡和终端设备的硬件和固件结构的基础上... 详细信息

为了解决传统的操作系统引导机制存在关键验证信息被绕过的风险和引导数据被篡改的安全隐患,基于可信计算理论,结合带光盘文件系统的智能卡技术,提出了基于通用智能卡的可信引导方案.在不改变智能卡和终端设备的硬件和固件结构的基础上,通过改造智能卡的存储数据和磁盘的引导数据,实现用户身份信息、智能卡和终端设备绑定的安全目标,将可信计算机制从开机加电扩展至应用层,确保操作系统的初始状态可信.通过安全性分析和性能分析,证明终端设备引导的安全性,并且在实际应用中得到了验证.

关键词：可信计算可信根可信链可信度量可信引导

来源：评论

学校读者我要写书评

暂无评论

信息安全技术　网络安全等级保护测评要求

信息安全技术　网络安全等级保护测评要求

引用

作者：陈广勇李明黎水林马力曲洁于东升艾春迪郭启全葛波蔚祝国邦陆磊张宇翔毕马宁沙淼淼李升胡红升陈雪鸿袁静章恒张益毛澍王斌尹湘培王勇高亚楠焦安春赵劲涛于俊杰徐衍龙马晓波江雷黄顺京朱建兴苏艳芳禄凯何申霍珊珊于运涛陈震任卫红孙惠平万晓兰马红霞薛锋赵林林刘金刚胡越宁周晓雪李亚军杨洪起孟召瑞李飞王江波阚志刚刘健陶源李秋香许凤凯王绍杰李晨旸李凌朱世顺张五一陈华军张洁昕张彪李汪蔚王雪等公安部第三研究所(公安部信息安全等级保护评估中心) 中国电子技术标准化研究院国家信息中心中国科学院信息工程研究所(信息安全国家重点实验室) 北京大学新华三技术有限公司成都科来软件有限公司中国移动通信集团有限公司北京鼎普科技股份有限公司北京微步在线科技有限公司北京梆梆安全科技有限公司北京迅达云成科技有限公司中国电子科技集团公司第十五研究所(信息产业信息安全测评中心) 公安部第一研究所北京信息安全测评中心国家能源局信息中心(电力行业信息安全等级保护测评中心) 全球能源互联网研究院北京卓识网安技术股份有限公司中国电力科学研究院南京南瑞集团公司国电南京自动化股份有限公司等

标准类型：国家标准

本标准规定了不同级别的等级保护对象的安全测评通用要求和安全测评扩展要求。本标准适用于安全测评服务机构、等级保护对象的运营使用单位及主管部门对等级保护对象的安全状况进行安全测评并提供指南，也适用于网络安全职能部门进行网...

标准号: GB/T 28448-2019

本标准规定了不同级别的等级保护对象的安全测评通用要求和安全测评扩展要求。本标准适用于安全测评服务机构、等级保护对象的运营使用单位及主管部门对等级保护对象的安全状况进行安全测评并提供指南，也适用于网络安全职能部门进行网络安全等级保护监督检查时参考使用。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于数据挖掘的Android恶意软件静态检测技术

引用

信息工程大学学报 2018年第3期19卷 379-384页

作者：陈鹏戴涛钟伟杰陈华军数学工程与先进计算国家重点实验室河南郑州450001 南方电网科学研究院有限责任公司广东广州510080 电力行业信息安全等级保护测评中心广东广州510080 海南电网有限责任公司海南海口570203

利用恶意软件同种族相似性原理,静态分析Android应用配置文件与Java源文件,设计实现了Android恶意代码静态检测系统。提取Android应用权限及组件信息,基于恶意代码行为与组件对应关系,挖掘发现同种族恶意软件权限关联性,定义可疑组件规... 详细信息

利用恶意软件同种族相似性原理,静态分析Android应用配置文件与Java源文件,设计实现了Android恶意代码静态检测系统。提取Android应用权限及组件信息,基于恶意代码行为与组件对应关系,挖掘发现同种族恶意软件权限关联性,定义可疑组件规则判定可疑组件,分析可疑组件恶意行为入口点;提取系统调用API序列,以子图形式描述恶意代码行为模式,并利用AGM算法对同种族恶意软件的行为子图进行频繁模式挖掘。通过构造同族恶意软件频繁权限簇和频繁行为子图关系特征库检测未知的恶意应用。实验结果表明,系统对Android恶意应用软件的识别检测具有较好的效果。

关键词：恶意应用检测权限特征组件特征行为模式数据挖掘

来源：评论

学校读者我要写书评

暂无评论

一种基于共享内存摆渡的Modbus/TCP安全通信方法

引用

中国科技论文 2017年第2期12卷 135-140页

作者：詹静杨静马俊明姜伟庄俊玺北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124 国网江苏省海安县供电公司江苏海安226600

结合物理摆渡隔离和逻辑协议过滤技术的优点,提出了1种基于共享内存摆渡的Modbus/TCP网络安全通信方法。采用基于共享内存的Xen虚拟机间通信方式实现ICS控制网和现场网的隔离。针对Modbus/TCP通信栈面临的安全威胁,采用无路由的内存摆... 详细信息

结合物理摆渡隔离和逻辑协议过滤技术的优点,提出了1种基于共享内存摆渡的Modbus/TCP网络安全通信方法。采用基于共享内存的Xen虚拟机间通信方式实现ICS控制网和现场网的隔离。针对Modbus/TCP通信栈面临的安全威胁,采用无路由的内存摆渡隔离机制过滤底层协议攻击,针对应用层行为和连接特征提出了较为完善的深度包过滤策略。实验实现的隔离过滤平台表明,所提方法能针对Modbus/TCP协议数据进行有效的安全过滤,数据交换读写带宽分别为56.54 MB/s和57.1 MB/s,通信效率较高。所提方法能满足工业控制网络性能和安全的双重需求。据本文作者了解,目前还没有其它公共文献使用基于虚拟化技术的共享内存摆渡方法和流量特征过滤策略提出工控环境安全通信方法。

关键词：安全通信工业控制系统安全共享内存摆渡 Modbus/TCP深度包检测

来源：评论

学校读者我要写书评

暂无评论

信息安全技术　网络安全等级保护基本要求

信息安全技术　网络安全等级保护基本要求

引用

作者：马力陈广勇张振峰郭启全葛波蔚祝国邦陆磊曲洁于东升李秋香任卫红胡红升陈雪鸿冯冬芹王江波张宗喜张宇翔毕马宁沙淼淼李明黎水林于晴李超刘之涛袁静霍珊珊黄顺京尹湘培苏艳芳陶源陈雪秀于俊杰沈锡镛杜静周颖吴薇刘志宇宫月王昱镔禄凯章恒高亚楠段伟恒马闽贾驰千陆耿虹高梦州赵泰孙晓军许凤凯王绍杰马红霞刘美丽公安部第三研究所(公安部信息安全等级保护评估中心) 国家能源局信息中心阿里云计算有限公司中国科学院信息工程研究所(信息安全国家重点实验室) 新华三技术有限公司华为技术有限公司启明星辰信息技术集团股份有限公司北京鼎普科技股份有限公司中国电子信息产业集团有限公司第六研究所公安部第一研究所国家信息中心山东微分电子科技有限公司中国电子科技集团公司第十五研究所(信息产业信息安全测评中心) 浙江大学工业和信息化部计算机与微电子发展研究中心(中国软件评测中心) 浙江国利信安科技有限公司机械工业仪器仪表综合技术经济研究所杭州科技职业技术学院

标准类型：国家标准

本标准规定了网络安全等级保护的第一级到第四级等级保护对象的安全通用要求和安全扩展要求。本标准适用于指导分等级的非涉密对象的安全建设和监督管理。

标准号: GB/T 22239-2019

关键词：

来源：评论

学校读者我要写书评

暂无评论

可信计算:打造云安全新架构

引用

信息安全研究 2017年第5期3卷 440-450页

作者：涂山山胡俊宁振虎王晓刘国杰北京工业大学信息学部北京100124 可信计算北京市重点实验室(北京工业大学) 北京100124 信息安全等级保护关键技术国家工程实验室(北京工业大学) 北京100124

在云环境中,由于资源的高度集中、共享,信任问题显得尤为重要,与此同时可信计算作为一种新兴的安全机制,可以保障用户的数据安全,为用户提供可信任的计算环境,因此将可信计算与云计算技术相结合是云安全研究的一种新思路.传统可信计算... 详细信息

在云环境中,由于资源的高度集中、共享,信任问题显得尤为重要,与此同时可信计算作为一种新兴的安全机制,可以保障用户的数据安全,为用户提供可信任的计算环境,因此将可信计算与云计算技术相结合是云安全研究的一种新思路.传统可信计算需要从物理的可信根出发,并且在系统中构造完整的可信链,而在云计算中,用户应用是在虚拟的计算环境中运行,因此虚拟可信根的构造以及可信链的传递等都是云环境中可信计算面临的新挑战.针对以上问题,首先从分析现有云虚拟化安全机制出发,指出了云服务不可信带来的数据安全风险及其相应的对策;然后,从虚拟可信根建立、信任链传递、主动监控、可信隔离与安全接入等技术对可信云核心机理进行研究,提出了基于可信计算的云安全框架;最后,总结指出必须从顶层设计出发,提供具备能协同作战、主动免疫、自主可控的可信云架构是未来研究的趋势.

关键词：可信计算云计算安全框架虚拟化技术可信根

来源：评论

学校读者我要写书评

暂无评论

基于权限与行为的Android恶意软件检测研究

引用

网络与信息安全学报 2017年第3期3卷 51-57页

作者：张骁敏刘静庄俊玺赖英旭北京工业大学信息学部北京100124 北京工业大学可信计算北京市重点实验室北京100124 北京工业大学信息安全等级保护关键技术国家工程实验室北京100124

针对Android平台恶意应用,从Android自身权限机制入手,提出了一种静态权限特征分析和动态行为分析相结合、将行为映射为权限特征的方法,并采用关联分析算法挖掘出权限特征之间的关联规则,把权限特征和行为特征作为朴素贝叶斯分类算法的... 详细信息

针对Android平台恶意应用,从Android自身权限机制入手,提出了一种静态权限特征分析和动态行为分析相结合、将行为映射为权限特征的方法,并采用关联分析算法挖掘出权限特征之间的关联规则,把权限特征和行为特征作为朴素贝叶斯分类算法的输入,建立了一个恶意应用检测模型,最后通过实验验证了该方法的有效性和准确性。

关键词： Android系统安全机制权限特征分类器

来源：评论

学校读者我要写书评

暂无评论

基于因果知识发现的攻击场景重构研究

引用

网络与信息安全学报 2017年第4期3卷 58-68页

作者：樊迪刘静庄俊玺赖英旭北京工业大学信息学部北京100124 北京工业大学可信计算北京市重点实验室北京100124 北京工业大学信息安全等级保护关键技术国家工程实验室北京100124

为了从分散的告警日志中发现攻击模式、构建攻击场景,通过分析现有攻击场景重构方法,针对现有方法因果知识复杂难懂且难以自动获取的问题,提出一种基于因果知识发现的攻击场景重构方法。所提方法首先按照知识发现的过程,通过告警日志间I... 详细信息

为了从分散的告警日志中发现攻击模式、构建攻击场景,通过分析现有攻击场景重构方法,针对现有方法因果知识复杂难懂且难以自动获取的问题,提出一种基于因果知识发现的攻击场景重构方法。所提方法首先按照知识发现的过程,通过告警日志间IP属性的相关程度,构建攻击场景的序列集合;然后,采用时间序列建模的方式去除误告警,以精简攻击场景序列;最后,利用概率统计方法发现各告警类型间的关联关系。在DARPA 2000数据集上对方法进行了实验验证,结果表明,该方法能有效识别多步攻击模式。

关键词：入侵检测告警关联时间序列建模攻击场景重构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：