SPIN在无线网络安全认证协议建模中的应用

为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法。     

基于LDAP与802.1x的无线接入统一身份认证研究

对基于LDAP统一身份认证架构下的802.1x的无线接入认证整合进行研究。提出并建立了一套保障信息安全的全局身份认证管理系统,在采用RC4安全加密技术的基础上,实现了基于RADIUS的无线802.1x/EAP接入认证和基于LDAP的认证服务的整合。实现接入用户认证管理和应用层统一身份认证用户的全局统一管理。     

802.1x协议在PIC单片机中的应用

802.1x是一种基于端口的访问控制协议,适合开展宽带业务的简单高效的认证协议。802.1x使网络结构得到了很大程度的简化,并能够将多种宽带接入方式的认证计费融为一体,如LAN,ADSL等,实现了分散的用户控制和集中的认证管理。文章重点介绍了802.1x认证过程4次"握手"机制、802.1x协议与相关报文的工作原理和EAPOL Start报文格式分析且在PIC单片机中的实现,并详细给出该报文设计步骤及源代码实现。     

EAP软件认证性能分析

为研究下一代无线网络接入认证协议的性能,利用Opendiameter API在模拟无线网络环境下搭建Diameter节点,基于Diameter协议在NAS(Network Access Server)和AAA Server间传输EAP消息,从而实现移动终端接入无线网的认证。并将该过程中的测试结果与RADIUS PEAP认证性能进行比较,实验证明Diameter PEAP比前者丢包率更低的同时,所需认证时间减少10%,对无线网安全协议的分析是一种有效直观的方式。     

P2P网络认证方案综述

介绍了P2P网络中常见的安全问题,分析了传统客户机/服务器模式下的身份认证机制及相应的认证协议。结合P2P网络的特点,引入P2P网络中的认证方案,详细地总结了P2P网络中的认证方案实现方式,且对其安全性能进行对比。     

煤炭网电子支付中SSL协议的改进与实现

随着电子商务的普及,煤炭业也有了自己的电子商务网站,煤炭网的安全协议SSL存在不安全性,文中提出了对SSL协议的改进方案,并给出了双重签名的认证原理与系统的模拟实现。     

SSL协议在矿井无线传感器网络中应用

介绍了井下无线传感器网络安全传榆中的SSL协议,给出了握手过程的详细实现步骤,体现出该协议可以实现通信系统保密性、认证性和完整性三个基本的安全目标,并结合实际操作过程中所遇到的问题,介绍了程序实现SSL协议的软件开发包OpenSSL toolkit,以及在满足产品对系统安全传输模块的设计需求中所遇到的问题和几个可行的解决方法.     

欧盟ATEX防爆认证体系研究及借鉴

介绍了欧盟ATEX防爆认证体系,分类阐述了ATEX对不同安全等级防爆设备的认证要求与程序,详细说明了EC型式试验与质量体系认证的具体流程、方法和要求。在此基础之上,对ATEX认证体系与国内防爆产品认证体系进行了对比分析,相对于ATEX认证体系,我国防爆认证体系框架构建不够完整,防爆产品认证和管理缺乏层次,防爆产品责任主体的界定不够明晰,认证流程不够规范,对认证技术缺乏科学有效的研究。提出应进一步深入研究ATEX指令基本理念,在法律法规支持、合格评定程序、具体认证方法与技术等方面借鉴ATEX成功经验和做法,以规范我国防爆产品生产、认证和监督管理。     

浅谈体系认证在企业经营管理中的作用

在企业中普遍存在对体系认证认识不到位的现象,使体系认证难以发挥应有的作用。文章从企业进行体系认证的益处展开讨论,具体分析了方针、目标、指标的制定与实施、资源配置、持续改进等部分条款的影响和作用,理顺了体系认证在企业经营中的管理作用。     

IEEE 802.1x解决企业网认证难题

介绍IEEE 802.1x协议的定义和在解决认证中的作用,阐述了IEEE 802.1x协议认证过程、技术特点及和其他认证方式的比较。IEEE 802.1x通过对认证方式和认证体系结构进行优化,有效地解决了传统PPPOE和Web/Portal认证方式带来的问题,消除了网络瓶颈,减轻了网络封装开销,降低了建网成本,从而成为当前网络选型的一个热点。     

关于建立我国生态旅游认证制度的思考

随着生态旅游的发展,生态旅游认证的作用体现得越来越重要。本文对生态旅游认证的基本概况进行了阐述,分析了国内外生态旅游认证发展的现状及我国建立生态旅游认证制度意义,并对我国生态旅游认证制度的建立提出了建设性的意见。     

关于建立我国生态旅游认证制度的思考

随着生态旅游的发展，生态旅游认证的作用体现得越来越重要。本文对生态旅游认证的基本概况进行了阐述，分析了国内外生态旅游认证发展的现状及我国建立生态旅游认证制度意义，并对我国生态旅游认证制度的建立提出了建设性的意见。     

美国矿用产品安全认证体系及对我国矿用产品安全标志认证工作的启示

为确保矿用产品实施安全认证的管理,介绍了美国矿用产品认证体系,认证法律依据、认证机构、认证程序和具体做法。介绍我国矿用产品安全标志认证管理体系。阐述美国矿用产品认证制度对我国矿用产品安全标志认证的启示。     

论工程勘察行业建立质量管理体系的重要性

通过多年从事ISO9001质量管理体系认证积累的经验和教训,论述了工程勘察行业建立质量管理体系的重要性,并提出了解决认证与原有管理模式长期存在"两层皮"的办法,建立了原有管理模式与IS09001标准的接口关系,总结出使体系有效运行的具体做法和经验.     

大同煤矿集团公司计量工作面临的问题及对策

介绍了大同煤矿集团公司计量工作面临的问题、计量保证体系的建立以及质量体系的认证。     

煤矿巡更瓦斯巡检网络印证管理系统设计

根据国家煤炭安全生产规范，现有煤矿大多安装了计算机瓦斯监控系统，很多市县还实现了宽带联网，不仅能监测瓦斯、风速、负压、湿度等安全生产指标，还能反馈控制各种开关量，如加大排风量、报警、关闭作业生产设备电源等等。但此单一的系统会存在致命的缺陷，如相关配套的人的管理措施跟不上，该系统就会形同虚设，导致安全事故发生，因而笔者提出设计煤矿巡更瓦斯巡检网络印证管理系统。     

矿用产品安标现场评审前的注意事项

通过介绍安标现场评审的概念、流程、依据及准则,对安标评审13项准则和煤矿及非煤矿山生产企业需注意问题进行具体分析,使生产企业更深入的了解安标现场评审准则及评审前需注意的问题,做好充分的评审准备工作,从而顺利的通过安标现场评审。     

地方煤矿高职院校《软件工程》项目化课程改革的研究

计算机程序设计员认证内容与软件工程课程内容之间存在着较强的相关性。因此可以依据整合的原则,通过将计算机程序设计员认证内容嵌入到软件工程课程内容中的方式,来实现软件工程课程的教学目标和计算机程序设计员认证的培训目标,并以此为基础,完成地方煤矿高职院校软件工程课程的项目化改革。     

国内外矿用产品安全认证管理体系对比分析

针对采矿工业的事故高发性,许多国家都采取了相应的前置性认证手段来保证矿用设备的安全性。在研究我国矿用产品安全标志管理体系的基础上,重点分析了美国与欧盟矿用产品安全认证体系的特点,并对国内外矿用产品安全认证管理体系进行对比研究,探讨了国内矿用产品安全认证管理的发展方向,并提出了相关意见与建议。     

浅谈煤炭企业提升全面质量管理水平的策略

从中国煤炭资源及其产品质量现状分析了目前煤炭企业全面质量管理(TQM)的状况,概述了TQM的基本理论及在煤炭企业推行TQM的意义,并探讨了在煤炭企业推行全面质量管理和实施ISO 9000系列质量体系认证所采取的一些措施和策略。