浅析数据加密技术在电子商务交易安全中的应用

电子商务交易安全涉及电子商务交易活动中信息的保密性、完整性、不可抵赖性和身份的确定性。数据加密技术的相关应用技术：数字信封、数字摘要、数字签名、数字时间戳、数字证书及安全交易协议等在电子商务交易安全方面中的应用，有着重要的作用，确保了电子商务的安全。推动了电子商务活动的顺利发展。     

The European Union draft Code of Conduct for outer space activities: An appraisal

The European Union draft Code of Conduct for outer space activities is one of the primary international initiatives, that are currently active, to enhance the safety, security and sustainability of outer space activities. Although the spirit underlying the instrument is commonly shared by space-faring countries, substantial disagreement exists among States as to some of its core provisions. This article proposes that the Code of Conduct should make a clear distinction between commercial activities and military activities, and adopt more balanced measures on the restriction of military activities in outer space.     

某型直升机跳伞安全性研究

本文介绍了直升机用于跳伞飞行的一种改装技术,文中应用运动学、直升机空气动力学计算方法,对某型直升机用于跳伞飞行进行了安全性分析研究,分析了从侧门和尾门跳伞的利弊,建立了某型机尾门跳伞时的运动学模型,分析了无尾门飞行的气动特性,计算和分析了某型机的操纵性和稳定性,为解决某型直升机跳伞存在的技术问题提供了理论支持.     

中国石油安全问题的战略思考

随着我国国民经济的快速发展，石油消费量的快速增长，对外石油依赖度将会日益提高。石油安全已成为我国国民经济安全和社会可持续发展所面临的重大战略问题。我们要统筹考虑制定符合中国国情的能源安全战略：建立安全稳定的国家石油储备机制；展开积极的资源外交；加强海上防务，确保运输安全；立足国情，科学指导，开源节能。     

分布式防火墙对内网的安全保护

通过与传统防火墙的对比,简述了分布式防火墙的产生原因、结构、原理、特点及在保护内网安全方面的应用。     

高校保卫工作在学生思想教育中的地位与作用

大学生思想教育在整个高等教育中占有极为重要的位置 ,高校保卫工作是大学生思想教育工作极为重要的一个组成部分 ,它不仅延伸到大学生广泛的思想教育的具体工作中去 ,而且保卫部门在大学生管理和思想教育中处在重要的研究指导位置 ,应当充分发挥保卫部门在大学生思想教育中的作用     

高校图书馆网络安全及应对策略

进入二十一世纪以来,全球性的网络化、信息化进程正改变着人们的生活方式,各高校的图书馆也建立了自己的网络,自己的数字图书馆。但是随之计算机病毒,网络入侵等危害互联网的因素也危害到了各大高校的图书馆网络。本文对威胁高校图书馆网络安全的因素做了简要介绍并对防范措施进行了说明。     

安全多媒体卡系统工作原理及其安全性分析

多媒体卡是目前在多媒体领域被广泛应用的外部存储介质。它既可以作为便携设备中普通的数据存储介质,又可以利用内建的安全系统存储版权受保护的多媒体信息。文中在介绍安全多媒体卡工作原理的基础上,给出基于安全多媒体卡的系统服务模型,同时对系统的安全性进行分析。     

EMV规范的安全框架分析

EMV是一个综合了各种相关规范优点的国际性金融支付系统规范。将EMV规范的安全框架分为卡片认证、持卡认证、交易认证和安全报文四个部分,分别进行分析,指出各自在安全支付过程中的目的和作用,从而为电子支付相关规范的安全框架设计提供完整清晰的参考方案。     

关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。