Kerberos协议安全性分析

串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。认证协议使用密码技术实现网络环境下的身份认证和信息保密。建立了Kerberos协议的串空间模型,并进行了安全性分析,证实了Kerberos协议是安全的。此外还说明了Kerberos协议存在的不安全因素及努力的方向。     

开源软件在军事训练中的应用

在新军事变革中,军队的武器装备、作战方式等许多方面都发生了重大变化,在军事训练方面就要适应这种变化。将开源软件应用于军事训练是一种高效、节省的好方法。     

油料储运场所职工不安全行为产生的原因及预防措施

根据油料储运场所环境和工作的特点，分析了油料储运场所中职工各类不安全行为产生的原因，有针对性地提出了要强化安全宣传教育，增强职工安全意识、加强安全培训，提高职工技能素质、建章立制，注重检查落实、改善作业环境，消除不良反应、消除不利因素，调解思想情绪等项预防措施。     

加油站爆炸性混合气体的成因及预防

在分析加油站爆炸性混合气体形成途径和影响因素的基础上，提出利用控制油气挥发、加强油气回收和监控等项措施减少和消除油气，为保证加油站的安全经营还应加强点火源的控制及加强工作人员劳动保护。     

食品风味成分仪器分析技术研究进展

系统地介绍食品风味成分提取方法、仪器检测方法,比较了各食品风味成分分离方法的优缺点,详细阐述了已普及的气质联用分析技术及新兴的气相色谱-吸闻技术和电子鼻技术在食品风味成分分析中的应用研究.     

油料储运场所员工不安全态度的成因及对策

在分析油料场所员工不安全态度成因的基础上,提出重视新员工安全教育、转变不安全态度、营建良好人际关系、公开安全信息、加大监督检查力度等保持正确安全态度的对策。     

关于大数据时代的网络安全问题研究

在当前的大数据时代,数据信息的整合、共享给人们的工作、生活带来了极大的便利,但同时也面临着数据篡改、信息泄露等一系列网络安全问题。以下主要分析大数据时代面临的网络安全问题,并提出几点强化网络安全的建议对策。     

智能传感器数据预处理方法的研究

主要介绍了基于模块式智能传感器的温度补偿、非线性校正、数字滤波和标度变换等数据预处理方法,通过强大的软件功能,实现测试数据的前端检测与处理,扩展了自动化传感器性能,提高了自动化检测作业系统的质量.     

油库自动化建设与管理存在的问题与对策

对油库自动化系统建设与管理中存在的不安全因素及产生原因进行了分析，并提出了解决的对策。     

一种改进SVO逻辑的新方法

安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本文通过增加和改进SVO逻辑的推理规则以及公理,提出了一种改进SVO逻辑的新方法,使其可以更好的分析认证协议.本文运用改进SVO逻辑对Needham-Schroeder认证协议进行形式化分析,发现改进的SVO逻辑能证明Needham-Schroeder认证协议能够达到预期目标.