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

小型微型计算机系统 2019年第4期40卷 884-889页

作者：王倩胡松旺郭嘉伟任家东赵小林燕山大学信息科学与工程学院河北秦皇岛066000 河北省软件工程重点实验室河北秦皇岛066000 北京理工大学软件安全工程技术北京市重点实验室北京100081

软件缺陷具有继承性和传递性,根据软件动态执行的结构及节点间的关联关系,挖掘软件执行过程的关键点,对于软件缺陷的预防和排除具有重要意义.本文提出一种有向复杂网络结构熵的软件动态执行关键节点挖掘算法,首先,基于复杂网络思想将软... 详细信息

软件缺陷具有继承性和传递性,根据软件动态执行的结构及节点间的关联关系,挖掘软件执行过程的关键点,对于软件缺陷的预防和排除具有重要意义.本文提出一种有向复杂网络结构熵的软件动态执行关键节点挖掘算法,首先,基于复杂网络思想将软件动态行为映射为有向复杂网络模型,进而引入结构熵的概念,根据节点的全局出度和入度,提出面向缺陷结构脆弱性和结构传播性的向下结构熵和向上结构熵的计算方法,并分别计算全局向下结构熵和向上结构熵的平均值,将满足平均结构熵的关键节点排名.最后,在开源软件数据集Cflow和Tar的最新版本上进行实验,与其它中心性算法对比并在SIR模型进行验证,在单个节点排名和前10名节点的关键性挖掘上证明了算法的有效性和优越性.

关键词：软件安全有向复杂网络结构熵关键节点

来源：评论

学校读者我要写书评

暂无评论

基于驾驶行为需求的大城市机动车发展调控对策

引用

人类工效学 2021年第4期27卷 73-77页

作者：刘跃军刘雪杰李先王武宏张树林金会庆北京交通发展研究院城市交通运行仿真与决策支持北京市重点实验室北京100073 北京理工大学机械与车辆学院北京100081 国家车辆驾驶安全工程技术研究中心合肥230081 安徽三联学院交通安全应用技术协同创新中心合肥230601 安徽三联交通应用技术股份有限公司合肥230081 安徽三联事故预防研究所合肥230081

在城市发展初始阶段,机动车对拉动城市经济、加速城市化进程发挥着重大作用,但是,随着城市规模不断扩张,城市土地资源的稀缺性和环境承载能力的有限性,则使得限制机动车过度发展成为必然。因此,交通需求管理成为国际大都市发展的常用手... 详细信息

在城市发展初始阶段,机动车对拉动城市经济、加速城市化进程发挥着重大作用,但是,随着城市规模不断扩张,城市土地资源的稀缺性和环境承载能力的有限性,则使得限制机动车过度发展成为必然。因此,交通需求管理成为国际大都市发展的常用手段。本文在国内外机动车调控政策研究的基础上,针对北京市机动车调控存在的问题,阐明我国城市交通发展演变规律,基于驾驶行为需求从源头上提出我国城市未来机动车调控的发展对策,为未来城市交通管理决策提供理论参考。

关键词：交通工程驾驶行为需求管理出行限号政策车牌摇号交通管理交通安全碳排放绿色交通

来源：评论

学校读者我要写书评

暂无评论

改进的无线性对固定轮数无证书群组密钥协商协议

引用

清华大学学报（自然科学版） 2017年第6期57卷 580-585页

作者：单纯胡康文薛静锋胡昌振赵小林北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081

针对现有无证书群组密钥协商协议无法在敌手具有替换用户公钥或获知私钥生成中心(key generation center,KGC)主秘密密钥2类攻击能力下满足安全性,该文提出一种显式认证的无证书群组密钥协商协议。该协议通过在第二轮中添加签名消息、... 详细信息

针对现有无证书群组密钥协商协议无法在敌手具有替换用户公钥或获知私钥生成中心(key generation center,KGC)主秘密密钥2类攻击能力下满足安全性,该文提出一种显式认证的无证书群组密钥协商协议。该协议通过在第二轮中添加签名消息、签名与群组用户身份集合、第一轮所有广播消息、第二轮用户发送的消息,保证了消息的新鲜性和身份的认证;对协议第二轮消息进行改进,使得敌手无法利用邻居节点进行攻击。分析结果表明:与其他无证书群组密钥协商协议相比,本协议可抗具有2类攻击能力的敌手,且计算量更小。

关键词：无证书群组密钥协商协议无线性对

来源：评论

学校读者我要写书评

暂无评论

基于漏洞知识库的8031单片机系统软件漏洞检测算法

引用

北京理工大学学报 2017年第4期37卷 371-375页

作者：单纯荆高鹏胡昌振薛静锋贺津朝北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库... 详细信息

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库的设计提出了一种基于知识的漏洞检测算法,用于检测8031单片机系统漏洞.基于上述方法设计并实现了软件安全性逆向分析系统,对8031单片机系统进行漏洞检测.实验结果表明,基于该漏洞知识库的漏洞检测算法可以对目标程序正确进行漏洞检测,有利于降低软件代码漏洞量,并在一定程度上降低成本和资源消耗.

关键词：漏洞知识库 8031单片机漏洞检测软件安全

来源：评论

学校读者我要写书评

暂无评论

基于粒子群优化算法的Android应用自动化测试方法

引用

北京理工大学学报 2017年第12期37卷 1265-1270页

作者：马锐任帅敏马科胡昌振薛静锋北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081 中国信息通信研究院技术与标准研究所互联网中心北京100191

Android应用自动化测试是应用质量保证的重要手段.针对目前传统Android应用自动化测试方法存在的自动化率和测试用例生成效率较低且应用异常发现能力较弱的问题,本文提出了基于粒子群优化算法的Android应用自动化测试方法(particle swar... 详细信息

Android应用自动化测试是应用质量保证的重要手段.针对目前传统Android应用自动化测试方法存在的自动化率和测试用例生成效率较低且应用异常发现能力较弱的问题,本文提出了基于粒子群优化算法的Android应用自动化测试方法(particle swarm optimization for Android,PSOA).PSOA方法主要分为3部分:控件信息获取、测试方法模块化、测试用例生成与基于粒子群优化算法的测试数据优化.实验结果表明,与传统自动化测试方法相比,PSOA方法能够有效提高异常发现能力、测试用例生成效率和自动化率.

关键词： Android 自动化测试粒子群优化算法测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于单证人节点的分布式节点复制攻击检测

引用

清华大学学报（自然科学版） 2017年第9期57卷 909-913,920页

作者：马锐朱天保马科胡昌振赵小林北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081 中国信息通信研究院技术与标准研究所互联网中心北京100191

在无线传感网络中,现有的节点复制攻击检测方法存在检测率低、通信消耗高、存储消耗高等问题。该文提出一种基于单证人节点的分布式节点复制攻击检测(singlewitness-based distributed detection,SWDD)方法。SWDD方法分为选择证人节点... 详细信息

在无线传感网络中,现有的节点复制攻击检测方法存在检测率低、通信消耗高、存储消耗高等问题。该文提出一种基于单证人节点的分布式节点复制攻击检测(singlewitness-based distributed detection,SWDD)方法。SWDD方法分为选择证人节点、生成声明信息、发送声明信息、验证证人节点和检测复制节点5个步骤。SWDD方法中引入单证人节点选择机制,采用随机数作为位置声明信息,利用多重映射机制进行证人节点验证,并由最终证人节点完成对复制节点的检测。在OMNeT++平台上进行仿真实验,结果表明:SWDD方法在检测率、通信消耗和存储消耗方面均优于SDC(single deterministic cell)和P-MPC(parallel multiple probabilistic cells)方法。

关键词：无线传感网络节点复制攻击分布式检测单证人节点多重映射机制

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的缺陷模式匹配研究

引用

信息安全研究 2018年第4期4卷 359-363页

作者：王建斌刘臻胡昌振单纯钟松延中国航天科工集团有限公司网络信息总体部北京100048 北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081

软件缺陷模式是基于一定的规则所提取出的,对导致软件运行中出现错误或不正常运行结果的缺陷的归纳总结.使用静态分析方法直接对代码进行缺陷模式匹配,可以更高效、更准确地找到软件中存在的缺陷.现有的缺陷模式和匹配方法仍然存在一定... 详细信息

软件缺陷模式是基于一定的规则所提取出的,对导致软件运行中出现错误或不正常运行结果的缺陷的归纳总结.使用静态分析方法直接对代码进行缺陷模式匹配,可以更高效、更准确地找到软件中存在的缺陷.现有的缺陷模式和匹配方法仍然存在一定的不足,包括不能有效检测由于自增自减使用不当导致的溢出,以及逻辑语句中的数据类型不一致问题.对此提出一种代码替换的匹配方法以及一种新的正则表达式匹配语句,以提高缺陷匹配检测的准确性.通过设置一组可控的对照实验,与Cppcheck静态检测工具进行比较测试,证明了方法的可行性.

关键词：缺陷模式缺陷匹配静态分析代码替换正则表达式

来源：评论

学校读者我要写书评

暂无评论

二进制程序漏洞挖掘关键技术研究综述

引用

信息网络安全 2017年第8期 1-13页

作者：王夏菁胡昌振马锐高欣竺北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081 中国黄金集团公司北京100011

漏洞在当前的网络空间中已被各方所关注。虽然源代码漏洞分析取得显著进展且具有语义丰富的特点,但实际应用中大量软件均以二进制代码形式存在,因此,针对二进制代码的漏洞挖掘技术研究具有很强的实用价值。文章简要介绍了目前较为典型... 详细信息

漏洞在当前的网络空间中已被各方所关注。虽然源代码漏洞分析取得显著进展且具有语义丰富的特点,但实际应用中大量软件均以二进制代码形式存在,因此,针对二进制代码的漏洞挖掘技术研究具有很强的实用价值。文章简要介绍了目前较为典型的二进制漏洞分析框架,并根据现有研究工作,提出未来对二进制程序漏洞挖掘技术研究的整体思路,随后对其中的一些关键点、关键技术分别进行了调研。文章首先对中间语言的研究背景和意义进行了简要介绍;其次针对污点分析、符号执行以及模糊测试三项关键技术,分别介绍了三者的基本原理和分类标准、处理流程、研究现状以及存在的问题;最后进行了简单的总结。文章对二进制程序的漏洞挖掘技术进行了简要的研究,有助于开展后续研究工作。

关键词：漏洞挖掘二进制程序污点分析符号执行模糊测试

来源：评论

学校读者我要写书评

暂无评论

内核完整性保护模型的设计与实现

引用

通信学报 2015年第S1期36卷 118-125页

作者：田东海陈君华贾晓启胡昌振北京理工大学北京市软件安全工程技术重点实验室北京100081 云南民族大学云南省高校物联网应用技术重点实验室云南昆明650500 中国科学院信息工程研究所信息安全国家重点实验室北京100093

非可信内核扩展模块是对操作系统内核完整性安全的重要威胁之一,因为它们一旦被加载到内核空间,将可能任意破坏操作系统内核数据和代码完整性。针对这一问题,提出了一种基于强制访问控制对操作系统内核完整性保护的模型—MOKIP。该模型... 详细信息

非可信内核扩展模块是对操作系统内核完整性安全的重要威胁之一,因为它们一旦被加载到内核空间,将可能任意破坏操作系统内核数据和代码完整性。针对这一问题,提出了一种基于强制访问控制对操作系统内核完整性保护的模型—MOKIP。该模型的基本思想是为内核空间中的不同实体设置不同的完整性标签,然后保证具有低完整性标签的实体不能破坏具有高完整性标签的实体。基于硬件辅助的虚拟化技术实现了原型系统,实验结果表明,本系统能够抵御各种恶意内核扩展模块的攻击,其性能开销被控制在13%以内。

关键词：内核扩展模块操作系统内核完整性保护虚拟化技术

来源：评论

学校读者我要写书评

暂无评论

概念格的内涵缩减与数据库推理依赖

引用

计算机研究与发展 2014年第1期51卷 96-103页

作者：薛金蓉安秋生郑军北京理工大学计算机学院北京100081 软件安全工程技术北京市重点实验室北京100081 山西师范大学数学与计算机科学学院山西临汾041004

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之... 详细信息

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.

关键词：值依赖概念格内涵缩减数据库推理推理依赖

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：