河南省教育厅基金(2006520015)
- 作品数：3 被引量：4H指数：1
- 相关作者：周清雷赵东明丁萌伟张俊松贾立伟更多>>
- 相关机构：郑州大学河南职工医学院更多>>
- 发文基金：河南省教育厅基金国家自然科学基金河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于串空间模型的多协议猜测攻击验证分析
- 2009年
- 对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测。过去仅考虑了协议在独立执行的时候所遭受到的攻击。现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中。接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析。最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证。
- 周清雷贾立伟赵东明
- 关键词：串空间形式化分析
- Neuman-Stubblebine协议的串空间模型及分析被引量：3
- 2009年
- 串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析。分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的。
- 丁萌伟周清雷赵东明
- 关键词：安全协议串空间
- 基于多神经网络模块的入侵检测技术被引量：1
- 2008年
- 神经网络应用于入侵检测可以克服传统检测技术的一些不足,如误报率高、对已知攻击的变种无法检测等,然而一般的神经网络模型只能判断系统是否遭到攻击,却无法知道是什么类型的攻击。本文描述的多神经网络模型以及训练方法不但可以判断是否受到攻击,而且可以识别出攻击的类型。
- 张俊松周清雷
- 关键词：神经网络特征提取
