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

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

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

来源：评论

学校读者我要写书评

暂无评论

ANODR匿名路由协议的安全性验证

引用

计算机工程 2010年第10期36卷 165-167页

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

匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件... 详细信息

匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件进行验证,结果证明其不能满足路由匿名规范,破坏了协议作为一个整体提供的匿名服务。

关键词：匿名路由逻辑证明安全协议

来源：评论

学校读者我要写书评

暂无评论

基于序列比对的SQL注入攻击检测方法

引用

计算机应用研究 2010年第9期27卷 3525-3528页

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

SQL注入攻击已经严重影响了网络应用的安全,因为它可以使攻击者不受限制地访问数据库中的敏感信息。为此,提出了一种新的基于序列比对的方法进行SQL注入攻击检测,并给出了序列比对算法的实施过程和基于该算法的检测方法;最后对该方法的... 详细信息

SQL注入攻击已经严重影响了网络应用的安全,因为它可以使攻击者不受限制地访问数据库中的敏感信息。为此,提出了一种新的基于序列比对的方法进行SQL注入攻击检测,并给出了序列比对算法的实施过程和基于该算法的检测方法;最后对该方法的正确性和性能进行了分析和测试。实验结果表明,本方法是简单有效的。

关键词： SQL注入序列比对攻击检测

来源：评论

学校读者我要写书评

暂无评论

基于访问控制的动态着色技术在攻击检测中的研究

引用

计算机科学 2010年第1期37卷 153-157页

作者：王磊茅兵谢立南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

内存腐烂攻击在软件安全攻击中占据着较大的比重。近来,动态着色技术得到了越来越多的关注,这种技术通过在访问内存时检测指针的完整性来抵御攻击。然而,存在一类可以绕过指针完整性检查的策略来进行攻击的实例,比如数组的越界访问攻击... 详细信息

内存腐烂攻击在软件安全攻击中占据着较大的比重。近来,动态着色技术得到了越来越多的关注,这种技术通过在访问内存时检测指针的完整性来抵御攻击。然而,存在一类可以绕过指针完整性检查的策略来进行攻击的实例,比如数组的越界访问攻击。提出了一种基于动态着色跟踪分析的方法来解决这类已有着色技术不能检测的问题。其思想是,借助于内存访问控制的思路,首先像已有的动态着色技术那样,在内存访问时对指针进行完整性检查,然后检查指针将要访问的内存区域是否处于指针合理的访问范围之内。原型系统是基于Valgrind的,并不需要源码,因此可以用于很多商业软件。初步实验验证结果表明,该方法可以有效地检测出很多类型的攻击,系统的性能损耗接近于Memcheck这种常用的内存错误检测工具。

关键词：内存腐烂攻击指针着色内存访问

来源：评论

学校读者我要写书评

暂无评论

软件脆弱性分类属性研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种软件体系结构风险评估方法

引用

南京理工大学学报 2010年第5期34卷 680-685,690页

作者：徐建荆文娟严悍张宏南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体... 详细信息

为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体系结构元素的风险因子;提出了一种风险累积算法,把体系结构层的风险因子表示成所有构件风险因子的函数,用于评估体系结构的风险。对嵌入式软件数字录音机进行了实例分析,结果表明,本文方法能够通过评估构件、场景、子系统的风险因子来识别他们。

关键词：风险评估统一建模语言规范软件体系结构动态度量

来源：评论

学校读者我要写书评

暂无评论

DQ-MAC:一种基于区分服务的WSN信道访问机制

引用

计算机科学 2010年第12期37卷 30-34,75页

作者：何剑白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

针对现有无线传感器网络MAC协议不能提供数据业务优先级区分的问题,在充分分析S-MAC协议的基础上,提出了一种基于区分服务的MAC协议改进机制——DQ-MAC(Diffserv-based QoS-aware MAC)。其基本思路是让高优先级数据有更多的侦听时间,使... 详细信息

针对现有无线传感器网络MAC协议不能提供数据业务优先级区分的问题,在充分分析S-MAC协议的基础上,提出了一种基于区分服务的MAC协议改进机制——DQ-MAC(Diffserv-based QoS-aware MAC)。其基本思路是让高优先级数据有更多的侦听时间,使高优先级数据传输的机会是低优先级的两倍,达到了减少高优先级数据的传输时延的目的,从而确保了高优先级数据业务的传输性能。相关分析结果表明,该机制使高优先级数据业务拥有更高的吞吐量,并且降低了高优先级业务的平均服务时延。

关键词：无线传感器网络区分服务媒体接入控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：