国家重点基础研究发展计划(2009CB320705) 作品数:21 被引量:246 H指数:7 相关作者: 陈道蓄 汪芸 谢立 茅兵 陆桑璐 更多>> 相关机构: 南京大学 东南大学 上海交通大学 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 江苏省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 一般工业技术 更多>>
无线自组织网络下抵抗内部节点丢弃报文攻击的安全通信模型 被引量:7 2010年 无线自组织网络的报文传输是依靠网络中的节点彼此多跳接力传输,当网络中有节点被俘获以后,就会成为内部攻击者,并在报文的传输过程中发起丢弃报文攻击,严重降低网络性能.现有网络协议栈中传输层和网络层协议难以检测和防范在网络层发起丢弃报文攻击的节点.文中提出一种在网络层抵抗内部节点丢弃报文攻击的通信模型,它包括通信链路状态实时分析协议和分布式的节点类型判定算法两个部分.通信链路状态实时分析协议利用节点对间逐段生成的路径环路,通过引入报文成组应答机制使得节点能实时地获取其邻居节点的报文转发状态;在通信链路状态实时分析协议基础之上,节点根据相关数学模型能有效地分析邻居节点行为是否异常,并对网络中的节点进行分类,最终将恶意节点从网络中隔离出去.仿真实验结果表明,文中算法在恶意节点的检测率和误检率方面性能表现良好,能有效地抵抗来自网络内部节点的丢弃报文攻击. 张中科 汪芸关键词:安全通信模型 无线自组织网络 基于代理的OSGi服务平台的容错扩展 被引量:1 2012年 近年来随着软件技术的飞速发展,基于构件的软件开发已经成为软件工程领域的发展趋势,OSGi(open servicesgateway initiative)作为一种成功的构件平台模型,已经在普适计算和软件构件领域得到广泛应用。OSGi规范本身并不适合分布式环境,于是产生了以OSGi为基础,为适应分布式环境而建立的平台R-OSGi。由于分布式系统的特性,软件出错的概率要远远高于集中式系统,因此分布式系统要求有很高的容错性,但是目前OSGi平台并不能够提供一个有效的容错机制。因此文中提出了一种基于代理的OSGi服务平台的容错扩展,该扩展显著地提高了OSGi的容错能力。文中提出的容错扩展概念已经被实现,此外基于该扩展还开发了一个可容错打印服务的应用。 顾亮亮 黄林鹏关键词:OSGI 代理 容错 传感器网络中无需地理信息的空洞填补算法 被引量:19 2009年 传感器网络由大量的节点组成,节点大多使用电池供电.如果某块区域内传感器节点由于能量耗尽、物理损毁而导致空洞的产生,对于空洞区域,传感器网络将无法进行监测.当传感器网络出现空洞时,需要移动传感器节点填补覆盖空洞,实现网络自愈合.现有的空洞填补算法都依赖于精确地理位置信息,且迭代次数较多,收敛时间较长.文中提出了传感器网络中空洞填补的两个准则,即(1)填补节点的引入至少消除一段空洞边缘弧;(2)填补节点的引入不能造成空洞的分裂.文章证明了填补准则的正确性,并基于填补准则提出了在没有地理位置信息条件下传感器网络的自愈合算法CHH.算法通过节点移动辅助定位的方法,实现了相邻节点间距离和方位的计算以及空洞边缘节点间距离的计算.空洞边缘节点根据填补准则,判断是否引入填补节点.算法CHH将空洞填补工作分布到空洞边缘节点上分别执行,并最终实现分布式的空洞填补.仿真实验结果表明,相比现有算法,CHH不仅消除了地理位置信息的假设,并且提升了空洞填补性能和算法收敛速度. 苏瀚 汪芸关键词:传感器网络 分布式算法 一种面向测试需求部分覆盖的测试用例集约简技术 被引量:26 2011年 软件系统开发中频繁面对局部更新和部分缺陷修改,此时需要选择性回归测试;为降低其测试工作量需要解决部分覆盖用例集约简问题.文中基于选择性回归测试形式化定义多目标用例集约简,并设计HATS算法解决该问题.HATS算法遵循启发式贪婪搜索框架,定义权重因子α平衡两方面目标:其一是减少用例集规模;其二是避免对无关需求的覆盖.实验结果表明:同现有约简技术和算法相比较,通过适当设置因子,αHATS算法能够降低用例集规模、减少对无关需求的覆盖、同时缓解对缺陷检测能力的影响.文中的创新贡献在两方面:其一根据选择性回归测试定义多目标用例集约简问题;其二是设计HATS算法以更少的测试用例数量维持缺陷检测效果. 顾庆 唐宝 陈道蓄关键词:软件测试 回归测试用例选择技术研究综述 被引量:6 2013年 回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先在回归测试活动和测试用例划分基础上,引出RTS问题和相关假设。随后从源代码和模型角度对已有RTS技术进行分类,从源代码角度出发,又进一步将其细分为线性规划法、数据流分析法、图遍历法、程序切片法和防火墙法等。接着对常见评测数据集和评测指标进行总结,最后对该问题的未来研究方向进行了展望。 陈翔 顾卫江 徐慧 顾庆 陈道蓄关键词:测试用例选择 线性规划 基于攻击特征签名的自动生成 2012年 签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击,结合动态分析技术生成二进制签名。首先,识别出漏洞相关指令;然后,用虚拟机监控运行上述指令;最后,修改虚拟机以在监控到恶意写行为时报警并生成签名。同时生成的补丁文件记录恶意写指令以便后继执行时跳过。签名可迅速分发给其他主机,在轻量级虚拟机上监测程序运行。实验表明,二进制签名具有准确、精简的优点,可以防御多态攻击,同时具有较低漏报率,结合使用轻量级虚拟机可使签名生成和后继检测都快速高效。 王国栋 陈平 茅兵 谢立关键词:计算机安全 软件漏洞 一种全分布式的数据迁移算法DBDS 被引量:1 2011年 数据迁移是大规模存储系统实现负载平衡的重要手段,可有效提高数据访问的性能。然而,现有数据迁移机制大多依赖于集中式算法,存在扩展性方面的不足。提出一种全分布式的数据迁移算法DBDS(Dimension By Dimension Spreading)来解决系统扩展性方面的问题。仿真实验表明,该算法在保证负载全局均衡性的同时,可有效降低迁移过程的消耗,适用于大规模分布式存储系统。 罗香玉 汪芸关键词:数据迁移 负载平衡 分布式存储系统 可扩展性 超立方体 基于AOP的普适环境下软件容错方法 被引量:1 2012年 随着普适计算的发展,容错作为普适计算中的一个重要研究领域也受到越来越多的关注。普适环境的动态性和开放性导致很难在开发阶段就确定容错策略,而在主流的OOP开发方法中,容错作为一个非功能性的关注点,会对功能性的关注点造成横切,极易导致散射或缠结,影响代码维护和重用。提出一个基于AOP的普适环境下的容错方法,使用AOP实现关注点分离,基于该方法,在OSGi平台上搭建了一个容错的软件开发框架,使用该框架开发的软件能够自动检测服务出错并进行错误恢复。 米杨 黄林鹏关键词:普适计算 AOP 关注点分离 容错 RFID数据管理:算法、协议与性能评测 被引量:81 2013年 随着物联网关键理论及技术的发展,RFID作为物联网的核心支撑技术,成为物联网领域备受关注的研究热点之一.文中以RFID的数据管理为切入点,从算法、协议以及性能评测3个层面对RFID的研究工作进行阐述与分析,着重介绍了RFID的防冲突算法、认证与隐私保护协议以及真实环境下系统的性能评测与分析等方面的研究成果及进展.最后展望了未来的研究方向. 谢磊 殷亚凤 陈曦 陆桑璐 陈道蓄关键词:射频识别 数据管理 防冲突算法 软件缺陷预测中基于聚类分析的特征选择方法 被引量:25 2016年 软件缺陷预测通过挖掘软件历史仓库,构建缺陷预测模型来预测出被测项目内的潜在缺陷程序模块.但有时候搜集到的缺陷预测数据集中含有的冗余特征和无关特征会影响到缺陷预测模型的性能.提出一种基于聚类分析的特征选择方法 FECAR.具体来说,首先基于特征之间的关联性(即FFC),将已有特征进行聚类分析.随后基于特征与类标间的相关性(即FCR),对每个簇中的特征从高到低进行排序并选出指定数量的特征.在实证研究中,借助对称不确定性(symmetric uncertainty)来计算FFC,借助信息增益(information gain)、卡方值(chi-square)或Relief F来计算FCR.以Eclipse和NASA数据集等实际项目为评测对象,重点分析了应用FECAR方法后的缺陷预测模型的性能,FECAR方法选出的特征子集冗余率和比例.结果验证了FECAR方法的有效性. 刘望舒 陈翔 顾庆 刘树龙 陈道蓄关键词:软件质量保障 数据挖掘 聚类分析