国家高技术研究发展计划(2003AA1Z2290)
- 作品数:2 被引量:8H指数:2
- 相关作者:刘连臣吴澄许可胡小龙谭敏更多>>
- 相关机构:清华大学中南大学更多>>
- 发文基金:国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于多检测技术的入侵检测系统模型被引量:3
- 2008年
- 针对当前入侵检测系统和入侵检测分析方法的弱点,提出了一个融合多检测技术的基于Multi-Agent的分布式入侵检测系统模型,采用了基于移动Agent的文件完整性检测技术。该模型实现了入侵检测的分布化,具有很好的扩充性,增强了入侵检测的准确率,提高了入侵检测系统的性能,能更好地满足大规模分布式网络环境的安全要求。
- 谭敏胡小龙刘连臣
- 关键词:入侵检测多代理分布式入侵检测系统
- 时间π演算及其弱时间互模拟分析被引量:5
- 2006年
- 为了提高π演算对系统时间特性进行建模和分析的能力,针对可重入流生产线系统的特点,提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算,即T-π演算。提出了一种新的弱时间互模拟关系,对模型的现有等价性判别条件进行了松弛。作为对T-π演算的有效性检验,利用T-π演算对可重入流生产线进行了形式化描述,在此基础上进行了其等价性分析,并给出了其可调度性判据。
- 许可刘连臣吴澄
- 关键词:可调度性分析形式化描述