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

计算机学报 2014年第5期37卷 1100-1110页

作者：辛知陈惠宇韩浩茅兵谢立南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

内核Rootkit对于操作系统来说是个严重的威胁.入侵者通过植入内核Rootkit,修改一些关键的内核结构体,实现恶意进程隐藏、日志文件删除、私密信息窃取等恶意行为.由于Rootkit主要通过篡改内核结构体对象来实现控制流截取,因此我们试图通... 详细信息

内核Rootkit对于操作系统来说是个严重的威胁.入侵者通过植入内核Rootkit,修改一些关键的内核结构体,实现恶意进程隐藏、日志文件删除、私密信息窃取等恶意行为.由于Rootkit主要通过篡改内核结构体对象来实现控制流截取,因此我们试图通过结构体随机化来防御这些入侵.在文中,作者提出了一种基于编译器的自动结构体随机化技术,解决了包括结构体的可随机化识别,随机化语义不变保护以及自动随机化等多个技术难题,最终利用随机环境下攻击者无法预知结构体域排列的特点,实现对内核Rootkit的防御.在实验环节,我们在被随机化的Linux系统中测试了已知的5种不同原理的8个真实的Rootkit,结果展示了我们的方法以几乎零负荷的代价防御了全部的Rootkit加载.

关键词：计算机安全内核Rootkit 随机化结构体操作系统网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

BIOP:自动构造增强型ROP攻击

引用

计算机学报 2014年第5期37卷 1111-1123页

作者：邢骁陈平丁文彪茅兵谢立南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

针对传统的代码注入和代码复用等攻击技术的缺陷,返回导向编程(Return-Oriented Programming,ROP)提出了复用以ret指令结尾的短指令序列,实现图灵完备编程的思想.ROP攻击可以绕开现有的针对代码注入的防御,且相比于传统代码复用技术,构... 详细信息

针对传统的代码注入和代码复用等攻击技术的缺陷,返回导向编程(Return-Oriented Programming,ROP)提出了复用以ret指令结尾的短指令序列,实现图灵完备编程的思想.ROP攻击可以绕开现有的针对代码注入的防御,且相比于传统代码复用技术,构造功能更为强大.但ROP攻击使用的ret指令结尾的指令序列具有明显的特征,这些特征导致ROP攻击容易被检测到.现有的ROP改进技术使用jmp指令结尾的短指令序列构造攻击,虽然消除了以ret指令结尾的特征,但同时引入了新的特征,且并不具有实用性.文中提出了一种分支指令导向(Branch Instruction-Oriented Programming,BIOP)攻击技术,使用jmp指令或call指令结尾的短指令序列构造攻击.相比于以前的工作,BIOP不引入新的特征,能有效避免现有的防御技术.同时我们分析并解决了构造攻击时寄存器的副作用,提出控制指令序列概念解决构造时内存冲突,实现自动化构造BIOP攻击.作者设计了一个自动化构造BIOP工具,构造了大量实际的BIOP shellcode,实验结果表明BIOP攻击可以绕过现有的ROP防御技术.

关键词：返回导向编程指令序列寄存器副作用自动化信息安全网络安全

来源：评论

学校读者我要写书评

暂无评论

基于Kinect的人体实时三维重建及其应用

引用

计算机辅助设计与图形学学报 2014年第10期26卷 1720-1726页

作者：马旋薛原杨若瑜南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

目前,人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据,并限定人体的姿势,不能很好地用于需要人体模型的交互式应用中.针对这个问题,提出一种基于单个Kinect的渐进式人体重建方法.首先结合特征点检测算法和校错处理,对... 详细信息

目前,人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据,并限定人体的姿势,不能很好地用于需要人体模型的交互式应用中.针对这个问题,提出一种基于单个Kinect的渐进式人体重建方法.首先结合特征点检测算法和校错处理,对深度视频帧中人体上的特征点进行定位;其次对身体尺寸进行测算或估算,并在对视频流的处理中渐进式地补充与完善;最后根据以上信息对人体进行分块参数化建模和合成,得到人体模型.实验结果表明,在尺寸不完整的情况下,该方法即可重建包含肢体结构语义的完整人体,易于实现局部模型或姿势的修改,并在虚拟试衣应用中体现出良好的实时性和交互性.

关键词：人体三维重建实时性特征点定位渐进式人体测量

来源：评论

学校读者我要写书评

暂无评论

一种面向功能类似程序的高效克隆检测技术

一种面向功能类似程序的高效克隆检测技术

引用

第十四届全国软件与应用学术会议

作者：董加星许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆... 详细信息

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆检测要比一般的克隆检测复杂一点,它是要在一些具有相似框架代码,实现功能类似的程序中找到克隆程序对.现有的克隆检测技术在检测功能类似程序时很难控制误报率.本文提出了一种克隆检测方法,通过对功能类似程序克隆检测特点的分析,从中获取有用的信息,最终改进克隆检测技术并将其应用于实践.实验结果表明,该克隆检测技术可以有效地进行克隆检测,结合功能类似程序克隆检测的特点可以很好地控制误报率.

关键词：软件检测程序分析克隆检测技术移植

来源：评论

学校读者我要写书评

暂无评论

一种面向用户需求的Web服务测试方法

引用

计算机学报 2014年第3期37卷 512-521页

作者：许蕾李言辉陈林宫敏颜友军徐宝文南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

关键词：组合Web服务用户需求测试用例生成使用场景软件测试中图法

来源：评论

学校读者我要写书评

暂无评论

Walsh函数在组合测试中的应用

引用

计算机学报 2014年第12期37卷 2482-2491页

作者：王蓁蓁周毓明康达周王子元李言辉徐宝文金陵科技学院软件工程学院南京211169 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式... 详细信息

实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式的定义以及理论缺陷函数和实际缺陷函数的定义;引入Walsh模式变换概念,并利用Walsh函数的离散形式有效地计算测试用例模式的平均缺陷率.最后基于模式平均缺陷率的大小,补充附加测试用例进行重新测试,从而迅速将故障原因锁定在很小的范围内,为软件的调试和测试工作提供更方便、更有价值的线索和参考.

关键词：软件测试组合测试软件调试 Walsh函数测试用例模式

来源：评论

学校读者我要写书评

暂无评论

基于自组织增量学习神经网络的信息融合技术

引用

兵工自动化 2015年第5期34卷 59-65页

作者：时晓峰申富饶贺红卫南京大学计算机科学与技术系软件新技术国家重点实验室南京210023 中国兵器科学研究院北京100089

针对传统神经网络在实际信息融合过程中存在的一些缺陷,提出一种基于自组织增量学习神经网络(self-organizing incremental neural network,SOINN)的信息融合方法。对不同类型传感器接收到的异构数据,使用增量式正交分量分析(incrementa... 详细信息

针对传统神经网络在实际信息融合过程中存在的一些缺陷,提出一种基于自组织增量学习神经网络(self-organizing incremental neural network,SOINN)的信息融合方法。对不同类型传感器接收到的异构数据,使用增量式正交分量分析(incremental orthogonal component analysis,IOCA)方法进行数据自适应降维和特征提取,将提取出的不同类型特征输入到SOINN中,根据不同数据类型生成相应的神经元连接区域,建立神经区域间的联想记忆,从而实现在数据层、特征层以及决策层3个层面上的信息融合。实验结果表明:该方法能够实现对机器人传感器采集到的多源异构数据进行自适应降维和自组织学习,形成机器人的决策判断和行为指令。

关键词：智能机器人信息融合自组织增量学习神经网络联想记忆

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式系统模型的安全性分析验证方法

引用

计算机技术与发展 2015年第10期25卷 7-12页

作者：石娇洁胡军刘雪马金晶黄志球程桢南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 详细信息

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

关键词：系统安全性分析模型驱动 SysML/MARTE XFTA 状态机模型嵌入式系统模型

来源：评论

学校读者我要写书评

暂无评论

基于核方法的连续动作Actor-Critic学习

引用

模式识别与人工智能 2014年第2期27卷 103-110页

作者：陈兴国高阳范顺国俞亚君南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

强化学习算法通常要处理连续状态及连续动作空间问题以实现精确控制.就此文中结合Actor-Critic方法在处理连续动作空间的优点及核方法在处理连续状态空间的优势,提出一种基于核方法的连续动作Actor-Critic学习算法(KCACL).该算法中,Acto... 详细信息

强化学习算法通常要处理连续状态及连续动作空间问题以实现精确控制.就此文中结合Actor-Critic方法在处理连续动作空间的优点及核方法在处理连续状态空间的优势,提出一种基于核方法的连续动作Actor-Critic学习算法(KCACL).该算法中,Actor根据奖赏不作为原则更新动作概率,Critic采用基于核方法的在线选择时间差分算法学习状态值函数.对比实验验证该算法的有效性.

关键词：强化学习连续动作空间函数估计核方法

来源：评论

学校读者我要写书评

暂无评论

基于UKF区域交叉定位的WSNs Sink节点动态跟踪算法

引用

传感器与微系统 2015年第4期34卷 123-126,129页

作者：姚依翔谢俊元南京大学计算机科学与技术系江苏南京210093 南京晓庄学院数学与信息技术学院江苏南京211100 计算机软件新技术国家重点实验室江苏南京210093

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区... 详细信息

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区域定位交叉定位算法对Sink节点的位置区域进行局部准确定位。实验结果表明:这种动态的Sink节点预测定位算法能够有效缩短数据发射传感器和Sink点之间的距离,减少跳数,从而实现负载均衡降低能耗的效果。

关键词：无线传感器网络无迹卡尔曼滤波区域交叉定位 Sink节点动态跟踪

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：