国家自然科学基金(60473055)

作品数:13被引量:74H指数:4
导出分析报告
相关作者:虞慧群韩建民刘冬梅韩晓英宋国新更多>>
相关机构:华东理工大学浙江师范大学上海市计算机软件评测重点实验室华南师范大学更多>>
相关期刊:《计算机应用研究》《Wuhan University Journal of Natural Sciences》《电子学报》《计算机研究与发展》更多>>
相关主题:K-匿名用例驱动K-匿名化隐私保护多样性更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一个针对蠕虫攻击的分布式入侵检测框架
《实验室研究与探索》2012年第4期50-53,共4页卢桂莲 颜俊松 刘刚 
国家自然科学基金项目(60473055);国家863高技术研究发展基金(2009AA05Z203);华南师范大学南海校区科研项目(NHKY08004)
蠕虫已成为全球网络最严重的安全威胁,但由于其有别于其他攻击方法的特点,现有的网络防御方法对蠕虫的攻击显得无能为力。针对传统防御方法在防御蠕虫入侵方面的不足,在针对网络蠕虫攻击特点的基础上,提出一个新的分布式入侵检测框架,...
关键词:网络安全 入侵检测系统 蠕虫攻击 框架 端口扫描 
面向数值型敏感属性的分级l-多样性模型被引量:23
《计算机研究与发展》2011年第1期147-158,共12页韩建民 于娟 虞慧群 贾泂 
国家自然科学基金项目(60773094,60473055);上海市曙光计划基金项目(07SG32);上海市浦江人才计划基金项目(05PJ14030)
近年来,数据发布隐私保护问题受到了广泛关注,相继提出了多种隐私保护匿名模型.l-多样性模型是其中保护个体隐私的有效方法,但现有的l-多样性模型只适合处理分类型敏感属性,不适合处理数值型敏感属性.为此,提出面向数值型敏感属性的分...
关键词:K-匿名 同质性攻击 背景知识攻击 l-多样性 数值型敏感属性 
针对WSN的DDoS攻击的改进概率包标记算法研究
《计算机应用研究》2010年第6期2324-2326,共3页刘刚 刘俊莉 颜俊松 焦新涛 
国家自然科学基金资助项目(60473055);国家"863"计划资助项目(2009AA05Z203);华南师范大学南海校区科研资助项目(NHKY08004)
当无线传感器网络(WSN)遭受分布式拒绝服务(DDoS)攻击时,攻击者会传送大量攻击数据包到受害主机,使其迅速消耗资源而无法正常运作,最终造成网络瘫痪。为了检测针对资源有限的WSN的DDoS攻击,基于传统网络的概率包标记算法提出一个改进概...
关键词:分布式拒绝服务攻击 攻击路径 包概率标记 收敛时间 
一种基于Petri网的服务组合流程分析方法
《华东理工大学学报(自然科学版)》2009年第1期112-118,共7页范贵生 虞慧群 陈丽琼 刘冬梅 
国家自然科学基金(60473055,60773094);上海市曙光计划(07SG32)
虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程...
关键词:BPEL 可组合性 PETRI网 建模 验证 
一种基于语义网技术和本体的数据集成方法被引量:8
《华东理工大学学报(自然科学版)》2009年第1期119-124,共6页朱勤斯 虞慧群 
国家自然科学基金(60473055,60773094);上海市浦江人才计划(05PJ14030);上海市曙光计划(07SG32)
研究语义网技术在数据集成中的应用方法。采用规则系统实现对语义网本体语言的扩展,以提高本体语言的表达能力。在此基础上将语义网相关技术系统地应用到数据集成系统的各个方面,包括数据采集、本体构建、本体映射、数据查询和数据持久...
关键词:语义网 本体 数据集成 规则系统 
一种用于循环程序形式化验证的划分归纳方法
《华东理工大学学报(自然科学版)》2008年第6期834-836,共3页钟杨 宋国新 计春雷 
国家自然科学基金(60473055)
为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化...
关键词:软件可靠性 形式化验证 划分算法 划分归纳方法 
数据表k-匿名化的微聚集算法研究被引量:40
《电子学报》2008年第10期2021-2029,共9页韩建民 岑婷婷 虞慧群 
国家自然科学基金(No.60773094,No.60473055);上海市曙光计划(No.07SG32);上海市浦江人才计划(No.05PJ14030)
数据表的k-匿名化(k-anonymization)是数据发布时保护私有信息的一种重要方法.泛化/隐匿是实现k-匿名的传统技术,然而,该技术存在效率低、k-匿名化后数据的可用性差等问题.近年来,微聚集(Microaggregation)算法被应用到数据表的k-匿名化...
关键词:K-匿名 泛化/隐匿 微数据 微聚集 隐私保护 
基于评估函数的全局中介器动态选举技术
《华东理工大学学报(自然科学版)》2008年第4期553-557,588,共6页韩建民 刘冬梅 虞慧群 
上海市浦江人才计划(05PJ14030);上海市曙光计划(07SG32);国家自然科学基金(60473055,60773094)
针对集成系统中集中式中介器效率低、可靠性差等问题,建立了一个多中介器协作的3层结构信息集成框架MMIA。提出了基于评估函数的中介器选举算法GMEA,该算法根据当前中介器的运行状态和中介器本身的能力,动态地选举出最优的全局中介器。...
关键词:信息集成 中介器 包装器 查询优化 
基于稀疏编码的图像语义分类器模型被引量:1
《华东理工大学学报(自然科学版)》2007年第6期827-830,892,共5页梁天一 宋国新 虞慧群 
国家自然科学基金(60473055);上海市浦江人才计划基金(05PJ14030)
为了解决图像检索以及遥感图像识别等图像处理研究中本质的问题——如何对高层抽象图像语义进行有效的分类,本文采用生物视觉认知机理,结合生物特征信息,用最小生成树的方法构造图像信息语义树,提出了一个基于稀疏编码的图像语义分类器(...
关键词:视觉认知 稀疏编码 图像语义 图像分类 
一种基于Object-Z的面向方面建模方法
《华东理工大学学报(自然科学版)》2007年第3期383-388,共6页虞慧群 许浩 刘冬梅 邵志清 
国家自然科学基金(60473055);上海市浦江人才计划基金(05PJ14030)
提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的...
关键词:面向方面 形式化方法 OBJECT-Z 建模 
检索报告 对象比较 聚类工具 使用帮助 返回顶部