江西省自然科学基金(511010)
- 作品数：3 被引量：46H指数：2
- 相关作者：彭文灵陈伟何炎祥张焕国王丽娜更多>>
- 相关机构：武汉大学南京邮电大学江西师范大学更多>>
- 发文基金：江西省自然科学基金国家自然科学基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于关联规则的安全协议验证方法被引量：1
- 2007年
- 提出了一种基于关联规则的安全协议形式化分析方法。从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议,提出了基于以上关联特点的协议验证方法。利用该方法对W ooand Lam认证协议进行了逆向验证分析,成功推导出现有的已知攻击路径,使这些已知攻击路径的推导能统一于该验证方法;同时还发现了一个未知的攻击路径,为协议的形式化分析提供了新思路。
- 胡声洲余敏章志明
- 关键词：安全协议关联规则
- 一种轻量级的拒绝服务攻击检测方法被引量：40
- 2006年
- 分布式拒绝服务攻击的原理简单,但危害严重.在攻击源端的检测方法有诸多优点,但也存在着挑战,如攻击源端攻击数据流量小,不易检测,不能使用服务商过多的资源等.文中针对这些特点提出了一种在攻击源端的轻量级方法.该方法使用BloomFilter对网络数据进行提取,在此基础上使用变化点检测方法对数据进行分析,可以达到使用少量资源进行准确检测的目的.重放DARPA数据的实验表明,在使用相同存储开销的前提下,该方法与同类工作相比,检测结果更准确,计算资源消耗更少.
- 陈伟何炎祥彭文灵
- 关键词：分布式拒绝服务攻击BLOOMFILTER
- 基于随机过程的容侵系统可信性量化方法被引量：5
- 2005年
- 运用马尔可夫过程分析了容侵系统的可信性,结合SITAR容侵系统体系中的状态迁移模型,给出了一种基于随机过程的容侵系统可信性的可用度量化方法。最后在此基础上讨论了入侵容忍系统的性质。
- 彭文灵王丽娜张焕国
- 关键词：入侵容忍
