BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

国外地铁安全建设运营面面观

随着城市交通的发展，一方面，地铁施工快速推进，地铁建没关系着城市的发展：另一方面，地铁如何防止火灾、防止恐怖袭击、防止自杀等事故一直是人们关注的热点。对这样庞大而繁忙的交通系统来说，安全建设与运营是大事。[第一段]     

新时期大学生安全教育内容探索

本文主要论述了新时期大学生安全教育的基本内容,即国家安全教育、网络安全教育、消防安全教育、反盗窃教育、交通安全教育、安全规章制度教育、心理安全教育、自我保护教育。     

推进安全生产“两个主体”责任落实到位

安全生产工作严格不起来、落实不下去，是安全生产领域长期存在的顽疾。严格落实两个主体责任，全面推动行政首长和企业法人两个负责制的到位，是抓好安全生产工作的治本之策。     

“十大技术成果转化之星”之“巷道支护成套技术”——巷道支护成套技术：煤矿生产安全高效的利器

“我国是一个产煤大国，也是矿难大国。这项技术的推广很好地解决了煤矿在生产中的安全和高效两大难题。”在记者确定采访“煤矿巷道高效安全支护成套技术创新体系及应用”（简称巷道支护成套技术）的时候，评定“十大技术成果转化之星”的组织者——北京技术市场管理办公室的相关负责人如此评价了该项技术。     

移动通信系统安全机制发展的研究

从移动通信系统演进的角度介绍了安全机制的发展历程,分析研究了2G的安全性措施,阐述了3G认证签权方案及其优缺点,并对移动通信安全机制提出了一些见解。     

化学实验教学必须重视安全教育和态度教育

在化学实验教学中,重视安全教育和态度教育,有利于培养严谨的工作作风,防止或减少安全事故的发生,提高化学实验教学的效果。     

先进制造企业自主创新能力提升：关键途径与案例分析

一、引言 一个国家自主创新能力是促进经济社会发展和保障国家的基石。我国的经济发展是在一个大多数产业没有掌握核心技术的环境下获得的．核心技术的缺失，已经成为我国经济进一步发展的重要障碍。要实现国民经济快速、持续、稳定、健康发展．就必须拥有自己的核心技术，特别是在那些关系国民经济命脉和国家安全的关键领域。企业自主创新能力是国家自主创新能力的基础，要增强我国的自主创新能力，必须把大幅度提升企业自主创新能力放在突出地位。     

炮采对拉工作面机头大棚支护和回采步距分析

在采煤作业中,为了防治水或探明、揭露断层或回采运输方便等需要,在设计布置工作面时,会形成两个工作面对拉出煤回采的情况.这样,机头大棚需支护的面积明显增大,采用原来"四对八根"控制顶板(图1)显然满足不了现场工作需要,这就给机头大棚的支护提出了新的要求.在现定工作中我们摸索出了如下图2的支护方式,支护效果比较明显,确保了安全生产.     

从建筑施工特点谈项目部安全生产管理

分析了建筑施工特点，并就项目部安全生产管理进行了讨论。