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

计算机研究与发展 2011年第12期48卷 2227-2234页

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

随机化方法作为保护程序免受攻击的一项技术,已经得到广泛的应用.但现有的随机化方法存在两个问题:其一,粒度较粗,不能阻止发生在函数、结构体、类内部的攻击;其二,绝大多数攻击是通过外部输入篡改关键对象,而现有随机化方法对这种攻击... 详细信息

随机化方法作为保护程序免受攻击的一项技术,已经得到广泛的应用.但现有的随机化方法存在两个问题:其一,粒度较粗,不能阻止发生在函数、结构体、类内部的攻击;其二,绝大多数攻击是通过外部输入篡改关键对象,而现有随机化方法对这种攻击特点关注不够.基于此,一种增强的随机化安全结构被提出:通过对封装结构(函数、结构体以及类)内部的结构重新排列而达到随机化的细粒度;同时,分析抽取出与外部输入相关的数组,并在这些数组之间插入"哨兵",防止其产生溢出.这种随机化方法不仅将随机化技术应用到函数、结构体、类内部,而且抓住了攻击的特点,对关键的与输入相关的数组对象进行保护,使程序免受控制流和非控制流攻击,从而增强了现有的随机化技术.

关键词：计算机安全软件安全软件漏洞封装数据结构随机化

来源：评论

学校读者我要写书评

暂无评论

用户需求驱动的Web服务测试

引用

计算机学报 2011年第6期34卷 1029-1040页

作者：许蕾陈林徐宝文南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要... 详细信息

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果.

关键词： Web服务测试用户需求测试用例生成依赖性分析回归测试

来源：评论

学校读者我要写书评

暂无评论

基于多示例学习的异常行为检测方法

引用

模式识别与人工智能 2011年第6期24卷 862-868页

作者：崔永艳高阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨... 详细信息

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨迹分段的异常行为检测方法.该方法首先根据轨迹的曲率,将轨迹分割成若干相互独立的子段.然后采用层次狄利克雷过程-隐马尔科夫模型对每个子段建模.最后在多示例学习框架下,以整条轨迹为包,正常轨迹为负包,异常轨迹为正包,轨迹子段为包的示例进行学习.通过实验验证,该方法在准确率和召回率上都优于传统的基于轨迹建模的方法.

关键词：异常行为检测轨迹分段层次狄利克雷过程-隐马尔科夫模型(HDP—HMM) 多示例学习

来源：评论

学校读者我要写书评

暂无评论

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

引用

东南大学学报（自然科学版） 2011年第3期41卷 449-452页

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

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中... 详细信息

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中选出Skyline服务,可以证明如果存在最优服务组合方案,则其一定是由Skyline服务集中的服务组成的.然后,为了进一步缩小解空间,再从Skyline服务集中选取最优的K个服务进行最终服务组合方案的优化求解.与传统启发式服务组合方法的不同之处在于,该方法一旦获得解,必然是最优解而不是次优解.实验结果表明:在固定任务总数和固定候选服务个数的情况下,该方法的效率都远高于传统方法;K值越大,该方法的准确率越高.该方法可较大幅度地提高服务组合的效率,提升用户体验.

关键词：服务组合启发式局部选择 Skyline

来源：评论

学校读者我要写书评

暂无评论

基于动态缓存的无线网络编码性能分析模型

基于动态缓存的无线网络编码性能分析模型

引用

第十九届全国网络与数据通信学术会议

作者：白光伟金铃沈航曹磊南京工业大学计算机科学与技术系南京 210009 南京大学计算机软件新技术国家重点实验室南京 210093 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京工业大学计算机科学与技术系南京 210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京大学计算机软件新技术国家重点实验室南京 210093

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接... 详细信息

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接入和多优先级接入时的网络编码性能.通过构建嵌入式马尔科夫链模型对动态缓存进行数学建模，及离散二维马尔科夫链模型对DCF信道随机接入机制进行建模分析，从而得出一系列与网络编码性能密切相关的重要参数，如节点信道接入概率、数据包成功发送概率、平均编码数目、有效吞吐量等.结果表明，该模型精确评估了动态缓存和随机接入机制对无线网络编码的影响，为深入剖析无线网络编码特性和更好地运用网络编码提供了有力的依据.

关键词：网络编码动态缓存随机信道接入机制嵌入式马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

基于多特征综合的视频拷贝检测技术研究

基于多特征综合的视频拷贝检测技术研究

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：林莹杨扬凌康肖金伟武港山南京大学计算机软件新技术国家重点实验室，江苏省南京市 210046 南京大学计算机科学与技术系，江苏省南京市 210046

伴随着信息化时代的来临，数字视频数据以几何级数的方式在增长。如何在海量视频数据中检测拷贝视频已经成为一个亟待解决的问题。由于拷贝变换的方法种类繁多，给检测处理带来了很大的难度，单一特征难以获得很好的检测效果。由此可知... 详细信息

伴随着信息化时代的来临，数字视频数据以几何级数的方式在增长。如何在海量视频数据中检测拷贝视频已经成为一个亟待解决的问题。由于拷贝变换的方法种类繁多，给检测处理带来了很大的难度，单一特征难以获得很好的检测效果。由此可知，视频拷贝检测技术的一个核心问题就是怎样提高拷贝检测技术对多种多样的拷贝变换的鲁棒性，其研究重点在于寻找有效的表示方法来描述视频的不变特性。在解决这个问题之后，拷贝检测又将面临着另一个核心问题，就是怎样进一步来提高视频拷贝检测的精度，其研究重点在于寻找适当的视频相似度匹配算法。针对以上问题，本文提出一种基于多特征综合的视频拷贝检测方法提高系统对于多种多样的拷贝变换的鲁棒性，解决海量视频数据的高效检索问题;并进一步使用基于nonorthogonal binary subspace(简称NBS)的图像相似度比对技术方法，来提高视频帧内容相似度比对的精度。

关键词：多特征综合视频数据拷贝检测鲁棒性图像相似度比对

来源：评论

学校读者我要写书评

暂无评论

非一致上下文的自动修复技术

非一致上下文的自动修复技术

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：陈小康许畅江磊南京大学软件新技术国家重点实验室江苏省南京市 210046 南京大学计算机科学与技术系江苏省南京市 210046

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为... 详细信息

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为了解决这个问题，提出了一种自动修复上下文的新技术。它分为以下两个阶段：(1)生成抽象修复用例;(2)具体执行以验证上下文不一致性是否已经修复。从用户的实际需要出发，生成的修复用例可以分别满足完整性或正确性。实验结果表明，这种技术在修复成功率上远远超过其他技术。

关键词：普适计算非一致上下文自动修复

来源：评论

学校读者我要写书评

暂无评论

一种支持自适应程序设计的移动机器人中间件

一种支持自适应程序设计的移动机器人中间件

引用

第四届中国Agent理论与应用学术会议

作者：陈昊孙辉许畅马晓星南京大学软件新技术国家重点实验室江苏省南京市210046 南京大学计算机科学与技术系江苏省南京市 210046

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的... 详细信息

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的移植、服务质量表现形式的选择、自适应机制及SCC(Sensor/Compute/Control)设计结构的应用四个方面来阐述此中间件平台的设计思路和开发过程。最后，通过真实实验的数据对比，说明此中间件可为移动机器人程序的有效开发提供服务质量的保证。

关键词：移动机器人中间件自适应能力服务质量保证 SCC结构

来源：评论

学校读者我要写书评

暂无评论

变异测试:原理、优化和应用

变异测试:原理、优化和应用

引用

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

作者： CHEN Xiang 陈翔 GU Qing 顾庆 School of Computer Science and Technology Nantong University Nantong Jiangsu 226019 China Stat 南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对... 详细信息

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对变异测试分析流程进行介绍，并对其中的重要概念依次给出定义，从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中，从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中，选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域，对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：软件缺陷变异测试自动化检测性能优化

来源：评论

学校读者我要写书评

暂无评论

动态开放式网络中基于角色使用控制模型研究

动态开放式网络中基于角色使用控制模型研究

引用

第一届中国互联网学术会议

作者：翟志刚王建东曹子宁毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

现代网络系统具有分布式、动态性的特征，传统访问控制模型静态集中式授权的方式不适应新型网络的需求，作为下一代访问控制模型被提出的使用控制(UCON)模型以其决策持续性和属性易变性的特点适用于各种网络系统，但是存在缺乏管理模型... 详细信息

现代网络系统具有分布式、动态性的特征，传统访问控制模型静态集中式授权的方式不适应新型网络的需求，作为下一代访问控制模型被提出的使用控制(UCON)模型以其决策持续性和属性易变性的特点适用于各种网络系统，但是存在缺乏管理模型、效率不高的缺点;目前应用最广泛的基于角色访问控制(RBAC)模型同样存在静态授权集中控制的缺点;结合两者特点，提出动态开放式网络环境中基于角色使用控制模型(RBUC)，采用多域角色映射的方法解决集中控制的问题;引入认证、职责和条件约束机制解决静态授权问题;给出模型结构图，核心RBUC模型定义，用有向图和角色继承矩阵描述角色继承，描述静态职责分离、动态职责分离和基于基数的职责分离原则，最后给出使用进程的状态转换。

关键词：基于角色访问控制使用控制安全模型角色映射角色继承角色约束

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：