王惠斌
- 作品数：19 被引量：30H指数：3
- 供职机构：解放军信息工程大学信息工程学院更多>>
- 发文基金：国家自然科学基金河南省科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术政治法律电子电信文化科学更多>>
- Ipsec中AH认证报头安全协议分析被引量：1
- 2008年
- AH认证报头协议是IPSec的一部分。该协议主要是为IP数据包提供信息源的身份认证,以及数据完整性的检测,同时,它还具有抗重播功能。文章通过对AH协议的组成、认证算法以及安全性的分析,指出了其存在的弱点与不足,提出了改进方法。
- 王惠斌
- 关键词：IPSEC
- 安全认证协议的设计与分析
- 安全协议在信息安全中起着至关重要的作用。在实际应用中,人们需要可信的机制来为通信实体进行身份认证和分发密钥。然而,已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,复杂的网络环境使得攻击者可利用安全协议设计中的...
- 王惠斌
- 关键词：安全认证协议形式化分析
- 文献传递
- 一种新的安全协议设计方法被引量：1
- 2008年
- 已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.
- 王惠斌马明山常青美祝跃飞
- 关键词：安全协议形式化设计
- 协议组合逻辑系统研究被引量：5
- 2008年
- 介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,又具有BAN逻辑的易读性.
- 王惠斌祝跃飞常青美
- 关键词：形式化分析
- 网络环境下的高职学生信息素质教育
- 2004年
- 信息素质涵义包括信息意识、信息能力、信息道德、信息观念等。随着互联网技术的飞速发展 ,国际间的竞争更加剧烈 ,对人的综合素质和能力提出了更高的要求 ,学习成为终身需求 ,网络对高职学生既有正面影响 ,也有不可忽视的负面因素 ,要积极地采用各种措施 ,提高高职学生的网络信息素质。
- 王惠斌
- 关键词：网络高职大学生信息素质
- 基于MATLAB符号数学工具箱的控制系统分析被引量：2
- 2003年
- 介绍了用MATLAB6.1符号数学工具箱实现控制系统分析的一个通用算法。利用该算法可以求出系统的传递函数符号表达式及对系统状态方程进行求解,并给出解的符号表达式。该方法具有简便、直观、高效的特点。最后给出了一个应用实例。
- 王惠斌常青美
- 关键词：MATLAB软件
- 网页制作从入门到精通
- 何弘王惠斌
- 计算机网络技术正以难以置信的速度不断发展，它荡涤着一切，迅速地改变着 我们的生活，人类苦心经营了数千年的传统，在它面前显得如此不堪一击。也许就人类的生存方式来说，最近几十年的变化已远远超过了以往数千年变化的总和，而且这种...
- 关键词：
- 关键词：网页制作工具HTML动态网页
- 一种快速安全认证协议及其形式化分析被引量：2
- 2008年
- 介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性。
- 王惠斌祝跃飞
- 关键词：形式化分析PCL
- 安全认证中的协议组合推导系统
- 2010年
- 针对现有安全认证协议中存在无数学模型、层次结构不清晰、适用范围窄的问题,提出协议组合推导系统。将安全协议按安全目标分为3个层次,第1层是密钥交换与身份认证属性的实现,第2层是效率提升与预防拒绝服务攻击的实现,第3层是安全协议的形式化理论分析与自动化测试工具验证安全协议的安全属性。仿真结果表明,该系统可实现安全协议的形式化设计,并可根据需要予以扩充。
- 王惠斌祝跃飞
- 关键词：形式化设计
- 基于Linux的网上办公系统及安全实现
- 王惠斌常青美谢伟增姚青山金振乾余飞跃王丽娜李建冯卫华刘鹏程鹏王飞
- 本系统采用成本极低、性能稳定的最新免费开源UBUNTU、PHP、MYSQL、APACHE、RED5作为开发环境，基于WEB平台使用极其方便，对配置要求很低，只要能联网和一个普通浏览器就可使用。使用简单方便，界面友好，维护...
- 关键词：
- 关键词：LINUX网上办公
