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

中国电子商情·通信市场 2010年第3期 103-108页

作者：杨滨诚茅兵南京大学计算机科学技术系南京大学软件新技术国家重点实验室210093

本文提出了一种阻止攻击者利用缓冲区溢出漏洞的方法.大部分攻击者通过提供外部输入来越界写缓冲区外不应该受外部输入影响的内存位置来达到他们的恶意目的.我们的方法基于这一事实把边界检查限定在只和外部输入相关的缓冲区,这样就节... 详细信息

本文提出了一种阻止攻击者利用缓冲区溢出漏洞的方法.大部分攻击者通过提供外部输入来越界写缓冲区外不应该受外部输入影响的内存位置来达到他们的恶意目的.我们的方法基于这一事实把边界检查限定在只和外部输入相关的缓冲区,这样就节省了很多代码插入和需要保存的缓冲区边界信息从而具有较低的时间和空间开销.系统的实现结合了静态程序分析技术和代码插入技术.初步实验表明它具有良好的效果和较低的时间和空间开销.

关键词：缓冲区溢出数据流分析别名分析入侵检测漏洞定位

来源：评论

学校读者我要写书评

暂无评论

基于权重的马尔可夫随机游走相似度度量的实体识别方法

引用

河北师范大学学报（自然科学版） 2010年第1期34卷 26-30页

作者：雷钰丽李阳王崇骏刘红星谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 安阳工学院计算机科学与信息工程系河南安阳455000

社会网络分析方法是一种量化的社会学分析方法,它将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络的问题.在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究,在对... 详细信息

社会网络分析方法是一种量化的社会学分析方法,它将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络的问题.在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究,在对基于图的实体识别方法进行深入研究的基础上,提出了基于马尔可夫随机游走相似度度量的方法,使其能够应用于有权有向图上的实体识别,并在此基础上提出可以处理多链接属性的实体识别算法.基于电信分析系统平台,重点研究和分析了上述算法的具体应用并在电信数据集上进行测试,应用结果表明上述算法的有效性和实用性.

关键词：社会网络分析数据挖掘实体识别马尔可夫随机游走

来源：评论

学校读者我要写书评

暂无评论

一种基于发生序和锁集的BPEL数据竞争静态检测方法

一种基于发生序和锁集的BPEL数据竞争静态检测方法

引用

第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会

作者：李少东许蕾南京大学计算机科学与技术系南京210093 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测B... 详细信息

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

关键词： BPEL数据发生序锁集数据竞争

来源：评论

学校读者我要写书评

暂无评论

基于地表的连续可见最近邻查询方法

基于地表的连续可见最近邻查询方法

引用

第27届中国数据库学术会议

作者：管猛张剡柏文阳计算机软件新技术国家重点实验室(南京大学) 南京210093 南京大学计算机科学与技术系南京210093

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间。以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法... 详细信息

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间。以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法。该方法以计算步长的方式把整个查询路径分割成若干个连续的查询子路径,循环计算每个子路径的连续可见最近邻直至得到整个路径的查询结果。该方法可以扩展应用于高维空间中的连续最近邻查询。

关键词：连续可见最近邻查询二维空间查询路径

来源：评论

学校读者我要写书评

暂无评论

基于Skyline和局部选择的启发式服务组合方法

基于Skyline和局部选择的启发式服务组合方法

引用

第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

作者：谢海军齐连永窦万春南京大学计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

网络化的应用以及面向服务的计算环境导致了软件系统从封闭，静态的形态向开放，动态的形态转变,Web服务技术正是基于这种需求而诞生的，Web服务组合作为服务计算的一个重要组成部分，已经吸引了工业界和企业界的广泛关注，如何从大量... 详细信息

网络化的应用以及面向服务的计算环境导致了软件系统从封闭，静态的形态向开放，动态的形态转变,Web服务技术正是基于这种需求而诞生的，Web服务组合作为服务计算的一个重要组成部分，已经吸引了工业界和企业界的广泛关注，如何从大量具有相同功能不同QoS属性的Web服务中，选出最合适的执行服务，是Web服务组合的核心问题。但由于该问题是一个NP-Hard问题,当任务或候选服务数目很大时，为获得最优的服务组合方案往往需要消耗很多的求解时间。鉴于此，本文提出了一种基于Skyline的局部选择启发式算法SLOMIP(Skyline Local Optimization Mixed Integer Programming)，实验表明该算法具有较高的出解率。不同于其他启发式算法，SLOMIP算法一旦获得解，可以证明必然是最优解。

关键词：服务组合网络化局部选择启发式算法

来源：评论

学校读者我要写书评

暂无评论

Flask结构对象管理器的通用设计与实现

Flask结构对象管理器的通用设计与实现

引用

2010(第三届)全国网络与信息安全学术会议

作者：翟桂锋曾庆凯南京大学计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

基于可信计算基尽可能小的设计思想，将Flask(Flux AdvancedSecurity Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分相分离，实现对象管理器通用的模块化设计。该设计具有安全及工程上的优势，且在L4微内核上完成了原型... 详细信息

基于可信计算基尽可能小的设计思想，将Flask(Flux AdvancedSecurity Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分相分离，实现对象管理器通用的模块化设计。该设计具有安全及工程上的优势，且在L4微内核上完成了原型系统的实现。

关键词： Flask安全体系结构对象管理器模块化设计

来源：评论

学校读者我要写书评

暂无评论

一种传感器网络实时自适应数据抑制算法

引用

计算机应用与软件 2010年第6期27卷 195-196,229页

作者：刘铭柏文阳南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210093

传感器网络中能量至关重要。提出一个利用限定记忆迭代最小二乘法,基于AR(n)自回归模型的实时、自适应数据抑制算法。限定记忆迭代最小二乘法适合在传感器节点内存受限、计算能力有限的情况下完成AR(n)参数估计的任务。模拟实验表明,使... 详细信息

传感器网络中能量至关重要。提出一个利用限定记忆迭代最小二乘法,基于AR(n)自回归模型的实时、自适应数据抑制算法。限定记忆迭代最小二乘法适合在传感器节点内存受限、计算能力有限的情况下完成AR(n)参数估计的任务。模拟实验表明,使用该算法可以很好地抑制感知数据传送到网外,减少了连续查询的约80%的网内通信量。

关键词：无线传感器网络数据抑制时间序列实时自适应

来源：评论

学校读者我要写书评

暂无评论

基于选择机制的实体间最信任路径发现方法

基于选择机制的实体间最信任路径发现方法

引用

2010年第四届中国可信计算与信息安全学术会议

作者：周国强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学计算机学院南京210003 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示.本算法能... 详细信息

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示.本算法能有效隔离恶意实体,同时具有通信量小,收敛性好的优点.

关键词：信任路径恶意实体选择机制信息反馈

来源：评论

学校读者我要写书评

暂无评论

求关系的传递闭包的新算法

求关系的传递闭包的新算法

引用

全国第十五届离散数学学术研讨会

作者：赵成斌宋方敏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

解决关系的传递闭包问题的经典算法为warshall算法，其时间复杂度为O(n3)，空间复杂度为O(n2)。文章提出求解该问题的新算法，其平均时间复杂度和空间复杂度均为O(n2)。

关键词：关系传递闭包有向图时间复杂度极大无回溯路径 warshall算法

来源：评论

学校读者我要写书评

暂无评论

输入相关的缓冲区溢出检测和定位

输入相关的缓冲区溢出检测和定位

引用

2010(第三届)全国网络与信息安全学术会议

作者：杨滨诚茅兵南京大学计算机科学技术系南京大学软件新技术国家重点实验室，邮编 210093 南京大学计算机科学技术系南京大学软件新技术国家重点实验室，邮编 210093

本文提出了一种阻止攻击者利用缓冲区溢出漏洞的方法。大部分攻击者通过提供外部输入来越界写缓冲区外不应该受外部输入影响的内存位置来达到他们的恶意目的。我们的方法基于这一事实把边界检查限定在只和外部输入相关的缓冲区，这样就... 详细信息

本文提出了一种阻止攻击者利用缓冲区溢出漏洞的方法。大部分攻击者通过提供外部输入来越界写缓冲区外不应该受外部输入影响的内存位置来达到他们的恶意目的。我们的方法基于这一事实把边界检查限定在只和外部输入相关的缓冲区，这样就节省了很多代码插入和需要保存的缓冲区边界信息从而具有较低的时间和空间开销。系统的实现结合了静态程序分析技术和代码插入技术。初步实验表明它具有良好的效果和较低的时间和空间开销。

关键词：缓冲区溢出数据流分析别名分析入侵检测漏洞定位

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：