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

计算机工程 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年第10期33卷 1896-1908页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

xML联合签名

引用

计算机科学 2010年第8期37卷 208-213,247页

作者：郑晓梅张天南京中医药大学信息技术学院南京210046 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机系南京210093

首先分析了目前Web服务架构中xML多方通信业务链的典型应用,并建立了相应的研究模型。基于此模型,提出了联合签名加密技术,以解决传统签名技术在此类应用中存在的重复签名、信息关联不严格等问题。同时,分析了通过现有xML签名规范实现... 详细信息

首先分析了目前Web服务架构中xML多方通信业务链的典型应用,并建立了相应的研究模型。基于此模型,提出了联合签名加密技术,以解决传统签名技术在此类应用中存在的重复签名、信息关联不严格等问题。同时,分析了通过现有xML签名规范实现该技术的局限性,进而提出了新的xML联合签名实现方案。最后给出了xML联合签名的语法定义。

关键词： xML多方通信业务链联合签名 xML签名 xML联合签名

来源：评论

学校读者我要写书评

暂无评论

基于角色的层次受限委托模型

引用

电子科技大学学报 2010年第1期39卷 114-118页

作者：刘正涛毛宇光王建东叶传标南京航空航天大学信息科学与技术学院南京210016 三江学院计算机科学与工程系南京210012 南京大学计算机软件新技术国家重点实验室南京210093

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委... 详细信息

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委托授权时的冲突检测算法与用户所拥有权限的计算算法及该模型的一个应用实例。

关键词：访问控制构件委托层次

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

引用

计算机工程与科学 2010年第5期32卷 1-5,9页

作者：曹春马晓星陶先平南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向... 详细信息

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。

关键词：动态软件协同软件Agent 软件体系结构多模式交互

来源：评论

学校读者我要写书评

暂无评论

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)。其基本思路是让高优先级数据有更多的侦听时间,使高优先级数据传输的机会是低优先级的两倍,达到了减少高优先级数据的传输时延的目的,从而确保了高优先级数据业务的传输性能。相关分析结果表明,该机制使高优先级数据业务拥有更高的吞吐量,并且降低了高优先级业务的平均服务时延。

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

来源：评论

学校读者我要写书评

暂无评论

应用于MANET实时流媒体传输的自适应速率调节机制

引用

计算机科学 2010年第6期37卷 64-69页

作者：魏姝杰白光伟曹磊沈航王华南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

近年来,通过无线移动网络传输实时流媒体数据一直是很热门的研究课题。然而,这种无线环境下的实时流媒体传输面临着严峻的挑战,原因在于多媒体应用严格的服务质量要求和无线移动网络固有的动态特性。提出一种应用于无线移动adhoc网络实... 详细信息

近年来,通过无线移动网络传输实时流媒体数据一直是很热门的研究课题。然而,这种无线环境下的实时流媒体传输面临着严峻的挑战,原因在于多媒体应用严格的服务质量要求和无线移动网络固有的动态特性。提出一种应用于无线移动adhoc网络实时流媒体传输的速率调节机制(ARAM)。该机制采取跨层设计,根据GM(1,1)模型预测得到带宽信息,考察队列情况来自适应地调节节点的发送速率。通过NS2设置典型的无线网络场景进行仿真,以来获取无线流媒体传输的数据。对ARAM性能的数学分析表明,该机制有效地改进了无线移动adhoc网络中流媒体传输的可靠性和无线实时通信的服务质量。

关键词：自适应速率调节无线流媒体传输性能跨层设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：