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

计算机科学 2018年第10期45卷 166-171页

作者：王露白光伟沈航王天荆南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003 南京工业大学计算机科学与技术学院南京211816

针对认知无线电网络中频谱的动态特性及潜在的节点选择性转发问题,提出频谱感知安全机会路由S2OR协议。在频谱感知阶段,通过对主用户活动建模来分析认知节点之间链路的可用概率。在路由选择阶段,采用信任管理方式来考查节点转发行为的... 详细信息

针对认知无线电网络中频谱的动态特性及潜在的节点选择性转发问题,提出频谱感知安全机会路由S2OR协议。在频谱感知阶段,通过对主用户活动建模来分析认知节点之间链路的可用概率。在路由选择阶段,采用信任管理方式来考查节点转发行为的可靠性,以便选择可信任的中继节点并保证数据传输的完整性。协议通过获取局部网络状态信息,计算由链路可用概率、链路质量和节点信任度构成的综合型指标——期望吞吐率,允许认知节点在此基础上机会式地选择候选转发节点与数据信道。仿真结果表明,S2OR能够很好地适应频谱动态特性,获取较高的吞吐量,同时减小节点恶意攻击带来的影响。

关键词：认知无线电机会路由频谱感知信任管理

来源：评论

学校读者我要写书评

暂无评论

基于簇的认知多媒体传感器网络实时路由协议

引用

计算机科学 2018年第10期45卷 83-88页

作者：李灵俐白光伟沈航王天荆南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

认知无线电传感器网络中信道的可变性使得多媒体数据传输面临着巨大考验,在主要用户的干扰下如何让数据实时传输到汇聚节点是许多研究者正在研究的问题。文中提出一种基于簇的认知多媒体传感器网络实时路由协议,该协议通过对主要用户活... 详细信息

认知无线电传感器网络中信道的可变性使得多媒体数据传输面临着巨大考验,在主要用户的干扰下如何让数据实时传输到汇聚节点是许多研究者正在研究的问题。文中提出一种基于簇的认知多媒体传感器网络实时路由协议,该协议通过对主要用户活动时间的预测获得信道的预期可用时间,并选择合适的信道进行数据传输;同时考虑可靠性指标,将数据丢失概率控制在合理的范围内,使得数据可以在规定的时间内可靠地传输到目的地;在选择下一跳节点时,除了考虑距离问题,还兼顾了信道的可用时间问题,尽可能地减少数据的传输时间。仿真结果表明,CBRTR可以均衡节点能耗,延长网络的生命周期,实现数据的实时、可靠传输。

关键词：认知多媒体传感器网络分簇实时路由可靠性

来源：评论

学校读者我要写书评

暂无评论

链路相关性欺骗攻击与检测机制

引用

计算机科学 2018年第12期45卷 104-110页

作者：徐佳佳白光伟沈航南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

近年来的研究工作表明,无线通信中的数据包传输在不同的链路上存在接收相关性,这一现象对无线网络环境下不同通信协议的性能都有着很大的影响。现有的链路相关性感知协议的性能提升大都依赖链路相关性度量的准确性。然而,通过分析发现,... 详细信息

近年来的研究工作表明,无线通信中的数据包传输在不同的链路上存在接收相关性,这一现象对无线网络环境下不同通信协议的性能都有着很大的影响。现有的链路相关性感知协议的性能提升大都依赖链路相关性度量的准确性。然而,通过分析发现,无线网络自身的移动性、射频通信等特点导致其在通信过程中存在着各种威胁与网络攻击。文中结合链路相关性,提出链路相关性感知协议的欺骗攻击机制,即当网络中的源节点发送数据包时,相应的接收节点通过恶意修改自身维持的数据包接收位图中的数据来欺骗源节点,从而达到篡改同一源节点的不同邻居节点之间的链路相关性度量值的目的,因此,该攻击机制会降低协议的传输性能。针对这一攻击机制,文中提出了对应的恶意节点检测机制,即利用Watchdog机制对网络中节点的行为进行检测,从而得出真实的数据包接收位图。仿真结果表明,提出的链路相关性欺骗攻击机制增加了通信协议的数据包重传次数,降低了协议传输的性能,同时基于Watchdog的恶意节点检测机制对这一攻击具有良好的防御力。

关键词：无线网络链路相关性欺骗攻击检测机制

来源：评论

学校读者我要写书评

暂无评论

VMSPY:一种自动化的虚拟机客户机系统函数截获和控制方案

引用

计算机学报 2017年第2期40卷 414-430页

作者：余劲黄皓南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

如何有效保证云平台虚拟机客户机系统安全运行是目前的热点研究问题,客户机系统函数的截获和控制方法是实现监控客户机系统的关键技术之一.已有基于操作系统内核接口的安全监控方案和基于虚拟化技术的虚拟机自省方案中所采用的函数截获... 详细信息

如何有效保证云平台虚拟机客户机系统安全运行是目前的热点研究问题,客户机系统函数的截获和控制方法是实现监控客户机系统的关键技术之一.已有基于操作系统内核接口的安全监控方案和基于虚拟化技术的虚拟机自省方案中所采用的函数截获和控制方法虽能满足安全监控的需求,但仍存在一些缺陷:函数截获动作容易被旁路;系统调用截获方式单一且局限,无法截获客户机应用程序内部函数;无法控制函数的执行流程;安全机制引入较大额外性能开销等.该文提出了一种基于虚拟化技术的自动化客户机系统函数截获和控制方案VMSPY.作者在VMM中实现模块的主要功能,通过反汇编引擎对客户机系统代码自动分析,动态生成并在合适位置插入经过设计的特权指令序列,实现对客户机操作系统的系统调用截获,在不受地址随机化技术的影响下对应用程序内部函数截获;在VMM中按策略自动模拟执行被截获函数的代码指令序列,实现对客户机系统调用函数和应用程序函数的执行流程控制;通过内存页权限机制保护在客户机系统中插入的特权指令序列,防止客户机系统对监控模块的影响;通过一种缓存机制,尽可能地减少额外性能开销.

关键词：虚拟化函数截获安全监控执行流云计算 XEN

来源：评论

学校读者我要写书评

暂无评论

C/C++程序静态内存泄漏警报自动确认方法

引用

软件学报 2017年第4期28卷 827-844页

作者：李筱周严李孟宸陈园军 XU Guo-Qing 王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 Department of Computer Science University of California

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开... 详细信息

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开销,同时依赖测试用例的质量;静态分析技术及自动化工具已被学术界和工业界广泛运用于内存泄漏缺陷检测中,然而由于静态分析采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步的人工确认来甄别误报.但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性.提出一种基于混合执行测试的静态内存泄漏警报的自动化确认方法:首先,针对静态分析报告的目标程序中内存泄漏的静态警报,对目标程序进行控制流分析,并计算警报的可达性,形成制导信息;其次,基于警报制导信息对目标程序进行混合执行测试;最后,在混合执行测试过程中,监控追踪内存对象的状态,判定内存泄漏是否发生,对静态警报进行动态确认并分类.实验结果表明:该方法可对静态内存泄漏警报进行有效的分类,显著降低了人工确认的工作量.

关键词：内存泄漏静态分析警报混合执行测试确认分类

来源：评论

学校读者我要写书评

暂无评论

常用循环摘要的自动生成方法及其应用

引用

软件学报 2017年第5期28卷 1051-1069页

作者：翟娟汤震浩李彬赵建华李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210023 南京大学计算机科学与技术系江苏南京210023

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中.实验结果表明,该方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.

关键词：循环摘要循环不变式前置条件后置条件程序验证

来源：评论

学校读者我要写书评

暂无评论

使用敏感路径识别方法分析安卓应用安全性

引用

软件学报 2017年第9期28卷 2248-2263页

作者：缪小川汪睿许蕾张卫丰徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210023

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,... 详细信息

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,针对恶意应用中存在的恶意行为以及触发条件,定义了敏感路径;其次,针对安卓应用中存在大量组件间函数调用关系问题,提出了一种生成应用组件间函数调用关系图的方法;再次,由于提取出的敏感路径信息无法直接作为识别特征,实现了一种基于敏感路径信息抽象的特征提取方法;最后,从Google Play、豌豆荚、Drebin等来源收集了493个应用APK文件作为实验数据集,该方法的准确率为97.97%,高于基于API-Feature的检测方法(90.47%).此外,在恶意应用和良性应用检测的精度、召回率、F度量等方面,该方法均优于API-Feature方法.另外,实验结果表明:APK文件大小会影响实验的结果,尤其体现在分析时间上(0~4MB大小的APK平均分析用时89s;文件增大后,平均分析用时增长明显).

关键词：安卓恶意应用敏感路径组件函数调用关系程序静态分析特征抽象

来源：评论

学校读者我要写书评

暂无评论

集成最大汇合:最大汇合时只有最大值有用吗

引用

中国科学技术大学学报 2017年第10期47卷 799-807页

作者：张皓吴建鑫计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

卷积神经网络中的汇合层基于局部相关性原理进行亚采样,在减少数据量的同时保留有用信息,从而有助于提升泛化能力.同时,汇合层可以有效提高感受野.经典的最大汇合采用赢者通吃策略,这有时会影响网络的泛化能力.为此提出集成最大汇合,用... 详细信息

卷积神经网络中的汇合层基于局部相关性原理进行亚采样,在减少数据量的同时保留有用信息,从而有助于提升泛化能力.同时,汇合层可以有效提高感受野.经典的最大汇合采用赢者通吃策略,这有时会影响网络的泛化能力.为此提出集成最大汇合,用于替代传统卷积神经网络中的汇合层.在每个局部汇合区域,集成最大汇合以p的概率使输出最大的神经元失活,激活输出第二大的神经元.集成最大汇合可以看作多个基础潜在网络的集成,也可以理解为一种输入经历一定局部形变下的经典最大汇合过程.实验结果表明,相比经典汇合方法及其他相关汇合方法,集成最大汇合取得了更好的性能.DFN-MR是近期主流结构ResNet的一个衍生,相比ResNet,DFN-MR有着更多的基础潜在网络数目,同时避免了极深网络.保持其他超参数不变,通过将DFN-MR中步长为2的卷积层改为集成最大汇合串联步长为1的卷积层的结构,可以使网络性能得到显著提高.

关键词：卷积神经网络汇合层网络集成数据扩充

来源：评论

学校读者我要写书评

暂无评论

面向动作的上下文感知应用的规约与运行时验证

引用

软件学报 2017年第5期28卷 1167-1182页

作者：李晅松陶先平吕建宋巍南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信... 详细信息

面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开研究.给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实了该方法的有效性.

关键词：普适计算上下文感知形式规约运行时验证

来源：评论

学校读者我要写书评

暂无评论

“云计算与大数据”及其对勘探地震技术发展的影响

引用

科学通报 2017年第23期62卷 2630-2638页

作者：唐杰魏嘉武港山南京大学软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023 中国石化石油物探技术研究院南京211103

互联网技术发展至今,已进入了大数据和云计算时代,并在传统商业领域取得了令人瞩目的成功,产生了许多新的发展模式.但是,在勘探地震专业领域,"云计算与大数据"技术的潜力尚没有充分发挥.本文介绍了"云计算与大数据"... 详细信息

互联网技术发展至今,已进入了大数据和云计算时代,并在传统商业领域取得了令人瞩目的成功,产生了许多新的发展模式.但是,在勘探地震专业领域,"云计算与大数据"技术的潜力尚没有充分发挥.本文介绍了"云计算与大数据"的方法论和基本特征,分析了云计算、大数据和物联网、互联网+等关键技术之间的关系,并结合地震采集、处理、解释的技术特点和发展需求,探讨了"云计算与大数据"对地震技术发展的影响,提出了建设地震专业软件生态系统和基于物联网改变地震采集现状的设想.

关键词：勘探地震技术大数据云计算物联网互联网+

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：