王玉柱 作品数:34 被引量:54 H指数:4 供职机构: 中国人民解放军后勤工程学院 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 机械工程 石油与天然气工程 更多>>
IEEE802.1x协议中EAP-TLS认证协议的安全性分析与改进 被引量:1 2011年 基于IEEE802.1x协议的体系结构,分析了EAP-TLS认证协议的安全性,详细阐述了EAP—TLS认证协议遭受中间人攻击的过程和原因,并提出了相应的改进方案。通过对Disassociate帧和EAP—Success消息进行加密和数字签名来保证消息的保密性和真实性,从而解决了客户端无法对Disassociate帧和EAP—Success消息源的认证问题,可以有效地抵抗中间人攻击。 何定养 王玉柱 郑贤路 卢继明 肖洋关键词:EAP-TLS 虚拟现实技术在制作树木中应用 被引量:1 2003年 介绍虚拟现实技术(VR)定义、特征及其国内外的研究状况,随着虚拟现实技术在不同领域的发展,在虚拟现实技术应用中主要是运用3d Studio MAX软件,用Scatter(离散)的方法和十字交叉法来制作树。利用现有的计算机资源,高效地生成虚拟动画。用它制作出来的树十分逼真,对于在建筑规划、建筑房屋销售方面、小区环境的设计以及绿化和小区的规划都有重要的作用。 崔浩 王玉柱 石岩 周庆龙关键词:虚拟现实 SCATTER 十字交叉法 专家系统在仿真建模环境中的应用 被引量:1 1992年 模型从理论上讲是现实系统的抽象描述,但由于现实系统往往是复杂多变,且具有高度非线性及自适应特征,因此给建模带来很大困难。本文通过分析传统建模方法学在实际应用中存在的问题,讨论了专家系统方法在建模与仿真中的应用,并介绍了基于数值计算、数据处理、知识处理的一体化仿真建模环境。 秦恒玉 王玉柱关键词:专家系统 仿真 微机 利用MFC ODBC在数据库中存取位图 2003年 陶金 王玉柱关键词:数据库 位图 MFC ODBC 数据存取 一种基于RSA的军用智能卡双向身份认证方案设计与分析 被引量:3 2007年 基于智能卡的身份认证在军事领域中具有广泛的应用前景,由于军事信息具有高度的敏感性与机密性,传统的、静态的、单向的身份认证方案不能满足军事应用的需求,通过对几种认证方案的研究,提出了一种基于RSA密码体制的实时的、动态的、极小泄漏的双向身份认证方案,不仅证明了它的完备性,并对其安全性进行了分析,结果表明它具有比以上几种认证方案更高的安全性。 桑林琼 王玉柱 高峰关键词:智能卡 双向身份认证 基于威胁路径的报警关联分析方法 被引量:1 2006年 大量的误报大大降低了现有网络入侵检测系统的实用性,利用报警日志之间的逻辑关系是降低误报率的方法之一。提出了威胁路径的概念,在此基础上提出了基于因果关系的关联分析方法。利用网络的背景信息,发掘报警日志记录之闰的逻辑关系,进一步提高报警的准确性,降低误报率。经实验验证,该方法可有效降低网络入侵检测系统误报率,并可用于辅助分析网络入侵过程。 王芳 王玉柱 王晓东关键词:入侵检测 因果关系 报警关联 用JAVA实现DSA数字签名算法的密钥对 被引量:1 2006年 采用Java程序设计语言,实现了美国国家标准与技术研究所(NIST)提出的数字签名方案(DSA)的密钥对的生成。深入分析了DSA数字签名技术,并深入阐述了如何用JAVA中的javax.crypto和java.secrurity等JAVA类生成DSA密钥对的技术,能够满足对DSA数字签名开发的要求。 王晓东 王玉柱 王芳关键词:JAVA IEEE802.16m中PKMv3协议的安全分析及改进 被引量:1 2012年 WiMAX2作为新的宽带无线接入技术,由于自身拥有的优势越来越受关注,而它的新标准IEEE802.16m中的PKMv3协议安全问题是制约其发展的重要因素之一。本文主要介绍了WiMAX2中IEEE802.16m安全机制,重点对密钥管理协议PKMv3进行了详细分析。介绍了PKMv3协议中移动台MS和基站BS之间管理消息保护、EAP认证以及IEEE802.16m中密钥协商流程等主要功能。最后指出了PKMv3存在的安全风险及相应的解决方案。 杨玖宏 王玉柱 何定养摩擦化学专家系统的设计初探 2000年 以实验理论研究为基础 ,对运用专家系统模拟有机硼酸酯的摩擦化学反应进行了初步研究 ,探讨了摩擦化学专家系统的知识库和分子式识别子系统的设计方法以及其推理过程。 王华清 董浚修 王玉柱关键词:摩擦化学反应 专家系统 SET协议的可追究性分析与改进 被引量:1 2008年 协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具。先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性。最后,对协议进行了改进,使其能够满足持卡人的可追究性。 赵娟 郭平 王玉柱关键词:SET协议 KAILAR逻辑 可追究性