张燕
- 作品数:3 被引量:35H指数:2
- 供职机构:武汉生物制品研究所更多>>
- 发文基金:湖北省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一种基于模型检查的入侵检测方法被引量:4
- 2005年
- 在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.
- 张燕傅建明孙晓梅
- 关键词:入侵检测时序逻辑
- 基于MapX的IP追捕系统
- 2006年
- 设计和实现了一个基于MapX的IP追捕系统,该系统能实时获取从主机到目标主机整条路径的节点信息,如目标节点的操作系统、多种服务、所在位置、域名信息、国家等,同时能把这些信息显示在地图上,实现了网络追捕的可视化。
- 张燕傅建明
- 关键词:MAPXGIS可视化DAO
- 垃圾短信的识别与追踪研究被引量:31
- 2006年
- 首先分析了短信传输方式:SP-手机和手机-手机,给出基于内容的识别和基于状态的识别方法,设置黑白名单和利用随机验证码的技术在一定程度上可以预防垃圾短信。最后,从短信的传输入手,提出了垃圾短信追踪的两种途径,最终为垃圾短信的诉讼提供法律保证。
- 张燕傅建明
- 关键词:短信垃圾短信内容服务商取证