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

南京大学学报（自然科学版） 2010年第2期46卷 122-130页

作者：吴涛王崇骏谢俊元计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

作为一种主动的信息安全保障措施,入侵检测已经成为计算机安全特别是网络安全领域的研究热点,出于对入侵检测的回避,入侵行为也逐渐表现为智能化、分布式的特点.将人工智能技术、机器学习技术引入入侵检测以增强入侵检测系统的能力已经... 详细信息

作为一种主动的信息安全保障措施,入侵检测已经成为计算机安全特别是网络安全领域的研究热点,出于对入侵检测的回避,入侵行为也逐渐表现为智能化、分布式的特点.将人工智能技术、机器学习技术引入入侵检测以增强入侵检测系统的能力已经成为工业界和学术界关注的课题.本文将入侵和入侵检测建模为利益对立的2个多Agent系统,认为入侵行为是按照既定的目标制定攻击计划,在此场景下,入侵检测的核心就应该是根据对手的攻击行为预测出其攻击意图,这是个典型的意图识别问题,这意味着应该将对手思维建模技术和计划识别思想引入入侵检测中来.考虑到对手在实际的动作过程中会根据实际情况随时调整自己的战略部署,因此不能将此问题直接建模为传统的KEY-HOLE观察问题.本文从入侵者的角度出发,引入部分可观测马尔可夫决策过程作为在环境状态和行动效果都不确定的条件下,通过一系列决策达到最优目标的数学模型,从而达到入侵意图识别的目的.最后,本文在DARPA测试数据集上的实验结果证明了方法的有效性.

关键词：复合攻击攻击模式场景构建攻击路径图

来源：评论

学校读者我要写书评

暂无评论

网络协同取证计算研究

引用

计算机学报 2010年第3期33卷 504-513页

作者：张有东曾庆凯王建东南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 淮阴工学院计算机工程系江苏淮安223003 南京航空航天大学信息科学与技术学院南京210016

网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函数依赖关系及其分析方法与算法,进而结合贝叶斯网络理论、报... 详细信息

网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函数依赖关系及其分析方法与算法,进而结合贝叶斯网络理论、报警关联分析技术和对K2算法的改进,提出了一种网络协同取证分析算法,算法通过对元报警事件的聚类和综合不同的网络取证数据源,能够直观地再现复杂网络攻击的犯罪场景,有效地实现网络取证分析;而且即使在部分数据缺失情况下,算法也可推理攻击的发生过程.

关键词：协同取证复合攻击概率函数依赖贝叶斯网络犯罪场景

来源：评论

学校读者我要写书评

暂无评论

组合测试研究进展

引用

计算机科学 2010年第3期37卷 1-5页

作者：陈翔顾庆王新平陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介... 详细信息

组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介绍常见的组合覆盖标准引入组合测试问题;然后总结目前常见的4种组合对象;之后依据生成策略的特征对现有的组合测试技术予以分类并简要介绍其中的典型方法;接着给出一套评价标准并对各个方法予以综合比较;最后总结并提出下一步的研究方向。

关键词：组合测试组合对象代数构造贪婪法元启发式搜索技术

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2010年第S1期47卷 133-138页

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

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

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

关键词：最近邻地表连续可见最近邻

来源：评论

学校读者我要写书评

暂无评论

一种基于上下文信息的乳腺肿块ROI检测方法

引用

山东大学学报（理学版） 2010年第7期45卷 70-75页

作者：郭乔进丁轶李宁南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210093

传统的ROI(region of interest)检测方法忽略了图像中的上下文信息,为了解决这个问题,本文利用概率潜在语义分析(probability latent semantic analysis,PLSA)来对图像中的每块区域周围的图像特征进行分析,并利用其作为上下文特征来辅助... 详细信息

传统的ROI(region of interest)检测方法忽略了图像中的上下文信息,为了解决这个问题,本文利用概率潜在语义分析(probability latent semantic analysis,PLSA)来对图像中的每块区域周围的图像特征进行分析,并利用其作为上下文特征来辅助ROI的检测。实验表明,该方法与直接进行分类相比,能够取得更好的分类效果。

关键词：乳腺数字图像 ROI检测概率潜在语义分析

来源：评论

学校读者我要写书评

暂无评论

采用多Agent的网络攻防仿真模型

引用

计算机工程与应用 2010年第20期46卷 122-125页

作者：孙强王崇骏王忠存谢俊元计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

采用多Agent技术对网络攻防仿真进行建模。提出了一种描述网络攻防任务的通用方式。利用角色来承担任务的某个子集,角色中工作类型和管理地位得到分离,使得逻辑上更清晰。建立了一个多层次的Agent团队结构模式,并为团队结构的调整提供... 详细信息

采用多Agent技术对网络攻防仿真进行建模。提出了一种描述网络攻防任务的通用方式。利用角色来承担任务的某个子集,角色中工作类型和管理地位得到分离,使得逻辑上更清晰。建立了一个多层次的Agent团队结构模式,并为团队结构的调整提供了算法。最后通过DDoS攻防模拟验证了模型。

关键词：多Agent 网络攻防仿真模型

来源：评论

学校读者我要写书评

暂无评论

基于形态分析识别设计模式中的集中管理式聚集

引用

软件学报 2010年第11期21卷 2725-2737页

作者：周晓宇钱巨陈林徐宝文东南大学计算机科学与工程学院江苏南京211189 上海市计算机软件评测重点实验室上海201112 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

关键词：聚集设计模式形态分析集中式管理识别

来源：评论

学校读者我要写书评

暂无评论

含指针程序的单子切片方法

引用

计算机学报 2010年第3期33卷 473-482页

作者：张迎周吴重强钱巨张卫丰徐宝文南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 北京邮电大学网络与交换技术国家重点实验室北京100876 EMC中国研发中心上海200433 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析... 详细信息

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.

关键词：程序切片单子切片数据流迭代指针指向分析

来源：评论

学校读者我要写书评

暂无评论

软件脆弱性分类属性研究

引用

计算机工程 2010年第1期36卷 184-186,193页

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

针对软件脆弱性分类中分类属性的选择问题,给出软件脆弱性的基本概念,讨论分类研究的目标及属性选取的基本原则。通过对5种典型分类属性的比较和总结,归纳分类属性的类别,提出一个新的分类思路。根据目前分类研究中存在的问题,给出相应... 详细信息

针对软件脆弱性分类中分类属性的选择问题,给出软件脆弱性的基本概念,讨论分类研究的目标及属性选取的基本原则。通过对5种典型分类属性的比较和总结,归纳分类属性的类别,提出一个新的分类思路。根据目前分类研究中存在的问题,给出相应的改进措施及未来的发展方向。

关键词：软件脆弱性分类属性分类法安全

来源：评论

学校读者我要写书评

暂无评论

组合测试数据生成的交叉熵与粒子群算法及比较

引用

计算机学报 2010年第10期33卷 1896-1908页

作者：查日军张德平聂长海徐宝文东南大学计算机科学与工程学院南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的... 详细信息

测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的测试数据.文章给出了交叉熵方法最优选择概率的理论推导,并对两种算法所生成的测试数据集进行约简.将两种算法和现有的贪心方法、代数方法及其它启发式搜索方法进行比较,实验表明交叉熵方法和粒子群算法具有一定的优势和特点.

关键词：软件测试组合测试交叉熵粒子群优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：