郭丽
- 作品数：4 被引量：4H指数：1
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 匿名协议WonGoo的概率模型验证分析被引量：4
- 2006年
- Internet隐私的一个主要问题是缺乏匿名保护.近年来,人们已经针对这一问题做了很多工作.然而,如何利用已有的形式化方法分析匿名技术却是一个极具挑战的问题.对P2P匿名通信协议WonGoo进行了形式化分析.利用离散时间Markov链模型化节点和攻击者的行为.系统的匿名性质采用时序逻辑PCTL进行描述.利用概率模型验证器PRISM对WonGoo系统的匿名性进行了自动验证.结果表明WonGoo的匿名性随着系统规模的增加而增加;但却随着攻击者观察到的源自同一个发送者的路径的增加而降低.另外,匿名路径越长,系统的匿名性越强.
- 陆天波方滨兴孙毓忠郭丽
- 关键词：匿名
- 建立数据流管理系统GodRiver
- 数据流模型是不同于传统关系数据库的另一种数据集合描述模型,对流动数据处理的研究长期以来没有受到足够重视,目前也不存在像数据库管理系统一样成熟的基础平台.本文介绍数据流管理系统(DSMS)平台的'天河'系统.本文的研究,能...
- 谭建龙郭丽刘萍沈星星
- 关键词：数据管理数据流管理系统数据流模型
- 文献传递
- 基于数据流管理平台的未知蠕虫发现
- 当前对于蠕虫的监测与反应一般都是事后与人工的,人们根据蠕虫的特征制定规则来监测已知蠕虫。对未知蠕虫的发现需要根据蠕虫的共性特征,采取新的方法。本文提出了一种基于数据流管理平台的未知蠕虫发现方法框架。通过数据流管理平台对网...
- 沈星星张吉谭建龙郭丽
- 关键词：网络安全
- 文献传递
- 建立数据流管理系统GodRiver
- 数据流模型是不同于传统关系数据库的另一种数据集合描述模型,对流动数据处理的研究长期以来没有受到足够重视,目前也不存在像数据库管理系统一样成熟的基础平台。本文介绍数据流管理系统(DSMS)平台的“天河”系统。本文的研究,能...
- 谭建龙郭丽刘萍沈星星
- 关键词：数据管理数据流管理系统
- 文献传递
