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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于身份的无线传感器网络在线/离线高效加密方案

基于身份的无线传感器网络在线/离线高效加密方案

引用

中国密码学会2012年会

作者：宁建廷殷新春扬州大学计算机科学与工程系扬州225127 扬州大学计算机科学与工程系扬州225127 南京大学计算机软件新技术国家重点实验室南京210093

本文针对资源受限的无线传感器网络的特点,对加密解密计算进行分级,将加密解密分为离线与在线两个阶段,提出了一种基于身份的存线/离线高效加密方案,并在随机预言模型下证明了方案的安全性.将计算开销大的操作置于离线阶段进行预计算,... 详细信息

本文针对资源受限的无线传感器网络的特点,对加密解密计算进行分级,将加密解密分为离线与在线两个阶段,提出了一种基于身份的存线/离线高效加密方案,并在随机预言模型下证明了方案的安全性.将计算开销大的操作置于离线阶段进行预计算,且离线加密阶段不需要预先知道明文信息和接收者的身份信息,使得本方案更具扩展性和适用性.与其他的方案相比,本文提出的加密方案计算开销更小,安全性更高,适用性更强,更适用于无线传感器网络的轻量级实现.

关键词：无线传感器网络加密算法安全机制

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的相似性匹配问题

不确定时间序列的相似性匹配问题

引用

2012年全国理论计算机科学学术年会(NCTCS2012)

作者：吴红花刘国华王伟东华大学计算机科学与技术学院上海 201620 东华大学计算机科学与技术学院上海 201620 计算机软件新技术国家重点实验室(南京大学)南京 210093 东华大学信息科学与技术学院上海 201620

确定性时间序列的相似性匹配方法都没有考虑数据的不确定性,而现实世界中传感器采集到的数据往往是不确定的,现有的时间序列的相似性匹配方法不适用于这些领域.

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

骨架引导的网格模型圆柱面参数化

引用

计算机辅助设计与图形学学报 2011年第1期23卷 161-169页

作者：郭潇晟郭延文郭凯王文平南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 香港大学计算机科学系

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较... 详细信息

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较小的几何形变;基于此,提出一种骨架引导的网格模型圆柱面参数化方法,能够对具有复杂骨架结构的网格模型实现全局参数化,它通过分块参数化由骨架信息得到的网格模型主体和分支,进而将分支圆柱面参数网格配准、优化并拼接至主体参数网格得到无缝的全局参数网格;对于人体和动物等具有明显骨架结构的网格模型,骨架引导的圆柱面参数化具有较小的几何形变.最后给出了实验结果,并展示了圆柱面参数化在约束纹理贴图中的应用.

关键词：网格参数化圆柱体骨架纹理映射

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

BACH:线性混成系统有界可达性模型检验工具

引用

软件学报 2011年第4期22卷 640-658页

作者：卜磊李游王林章李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规... 详细信息

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具——BACH(bounded reachability checker),该工具能够沿指定路径(组)对单个线性混成自动机、多个线性混成自动机的组合进行可达性检验,并且在此基础上结合路径遍历技术完成对所有路径的有界可达性检验.实验数据显示,BACH不仅在面向路径可达性检验方面性能优异,可以适用于足够长度的路径,而且在针对所有路径的有界可达性检验时,BACH可以解决的问题规模也远远超过同类工具,已接近工业界应用的要求.

关键词：线性混成系统线性混成自动机有界可达性检验线性规划

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava-2

引用

软件学报 2011年第5期22卷 877-886页

作者：刘玲徐家福计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而... 详细信息

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用、易读,其成分设定更为合适的量子程序设计语言.

关键词：量子程序设计语言量子条件语句量子循环语句量子子程序量子模块量子异常处理机制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：