基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

安全工作重在安全意识的提高和安全责任的落实

安全生产是经济建设的基础。由于现阶段我国的安全生产形势依然严峻,做好基层员工的安全教育,尤其是对安全意识的教育和培养,更为重要,我们必须增强安全责任意识,落实安全生产责任制,落实好基层安全责任,特别是基层领导要有担当意识、忧患意识、防范措施,一旦发生事故应如何启动应急预案,如何施救,要做到心中有数,对你所分管工作要时刻保持如覆薄冰、如临深渊的状态,以强烈的责任心,抓好安全生产工作。只有这样安全生产才有保障,各项安全生产制度才有根基、才能得到真正的落实。     

清华大学3项科研成果入选2014年中国十大科技进展新闻

<正>2015年1月31日,由中国科学院院士和中国工程院院士评选的"2014年中国十大科技进展新闻"在北京揭晓。清华大学医学院颜宁教授研究组完成的"首次获人源葡萄糖转运蛋白结构"、生命科学学院施一公院士研究组完成的"首次揭示阿尔茨海默氏症致病蛋白三维结构"以及清华大学交叉信息研究院马雄峰助理教授研究组与中国科学技术大学潘建伟院士团队等合作完成的"量子通信安全传输创世界纪录"入选。该评选由中国科学院、中国工程院主办,中国科学院学部工作局、中国工程院办公厅、中国科学报社承     

反恐激怒恐怖组织 人质事件:ISIS血腥报复日本

安倍政府实际上在此次人质危机中并无实际作为,只是强硬地回绝了ISIS赎取人质的要求,这种生硬的方式虽然彰显了安倍政府不向恐怖势力妥协的立场,但是直接造成了两名人质的丧生。近日,极端组织“伊斯兰国”(ISIS)给日本政府出了一道大难题,并且将约旦也牵扯其中。ISIS绑架了两名日本人质,要挟日本政府支付两亿美元的赎金,后来ISIS杀害了一名人质,并变更了条件,希望用另一名人质交换扣押在约旦手中的一名恐怖分子。就在日本政府多方寻找对策试图解决此次人质危机的时候,在1月31日,另一名日本人质也被     

黄福祥:十年坚守 只为保一方平安

<正>个子不高,皮肤偏黑,目光坚定,温文尔雅,是黄福祥给人的第一印象。如果没有头上的几根白发,没有人会想到,这位在基层一线风风火火、雷厉风行的安监站长竟已年近花甲。2014年,是黄福祥在安监站长这个岗位工作的第十个年头。十年中,他扭转了长沙市金盆岭街道曾经事故多发的态势;十年中,他为街道争得了全省第一批安全生产示范街道的荣誉;十年中,他为一方群众守护平安……一年——决心遏制事故2004年,金盆岭街道生产安全事故频发,辖区内事故     

特种作业人员安全技术培训的问题与建议

相关分析表明企业单位生产安全事故中的80%,都是由于特种作业人员的违规违章操作而造成。因此,特种作业人员安全技术培训越来越受到各企业以及相关部门的关注。基于此,该文对特种作业人员安全技术培训进行讨论,希望对此项工作具有一定的指导意义。     

适用于联网飞机网络的安全切换方案

本文提出了一种适用于联网飞机的安全切换方案,该方案通过地面基站或卫星周期性地发送签名消息实现消息源认证,不同的飞机预存要经过航路的相关密码学公共参数,然后利用签密实现网络的安全快速切换。在该方案中,由于使用了能够在一个逻辑步骤内同时实现机密性和认证性等安全功能的签密技术,因此具有较高的效率。     

基于身份的可信访问控制

随着信息化在各行各业的不断深入应用,未来人类的生活将越来越依赖信息化。我国信息化建设虽然后期发展迅猛,但信息安全基础设施薄弱,信息安全技术能力亟待提高,尤其是在紧密联系着国计民生的政府、金融、通信、交通、能源、军事等行业领域信息风险较为突出。这些领域的信息系统中数据信息巨大,并且这些信息系统大量整合了政府、金融机构、医院、运营商、企业等多方面的信息资源,往往涉及到政务、商业、生活、个人隐私等方方面面,而接口、隐蔽通道众多,容易出现连     

采用CASST-QRA对某生物企业液氨储罐的定量风险评估

对于城市安全生产风险评估项目,在某涉氨生物企业的风险评估中采用了CASST-QRA模拟计算其个人风险、社会风险,并与《危险化学品生产装置和储存设施风险基准》(GB 36894—2018)进行比较分析。结果表明:某企业的个人风险不可接受,社会风险处于尽可能降低区。由此,结合实际调研提出相应的对策措施和建议。希望本文的研究成果可以对企业的安全管理和相关政府部门的安全监督提供指导与依据,以期实现城市安全的安全发展。     

应用型高校无机及分析化学实验模块建设及教学实践

以无机及分析化学实验模块建设为引导,通过充分预习,夯实实验技能基础,逐步提高学生的综合设计能力,完善实验考核制度,加强安全环保理念的教学模式,激发大一新生做实验主动性和积极性,培养学生独立操作、分析问题和解决问题的能力,提高了实验教学效果。