孙晓梅

作品数:2被引量:22H指数:2
导出分析报告
供职机构:武汉大学计算机学院更多>>
发文主题:一次性口令认证方案一次性口令安全性时序逻辑入侵检测方法更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《武汉大学学报(理学版)》《计算机应用研究》更多>>
所获基金:湖北省自然科学基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
一种改进的一次性口令认证方案被引量:18
《计算机应用研究》2006年第6期127-128,132,共3页高雪 张焕国 孙晓梅 
借鉴质询响应方案的思想设计了一种新的一次性口令认证方案。与传统方案相比,该方案安全性高、运算量小,提供了通信双方相互认证的功能,并且能够抵抗重放攻击和冒充攻击,可以增强应用系统的安全性。
关键词:远程用户认证 一次性口令 质询响应 安全性 
一种基于模型检查的入侵检测方法被引量:4
《武汉大学学报(理学版)》2005年第3期319-322,共4页张燕 傅建明 孙晓梅 
国家自然科学基金资助项目(90104005);湖北省自然科学基金资助项目(2002AB0037)
在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.
关键词:入侵检测 攻击模式 模型检查 时序逻辑 
检索报告 对象比较 聚类工具 使用帮助 返回顶部