ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

应用级信息安全解决方案的研究与设计

计算机网络的发展向信息安全提出了新的挑战,在电子商务给人们带来巨大便利的同时,也产生了很多的安全隐患。信息安全是一个不容忽视的问题,而且也越来越得到人们的重视。本文结合开发远程教材管理信息系统的实例,对应用级信息安全需求进行研究分析,根据应用系统的实际业务流程,构建其信息安全解决方案并加以实现。信息安全方案的实施保障了系统的安全性、远程数据传输的完整性和保密性。     

卫星总体可靠性安全性设计审查

为了确保卫星及其产品不带问题出厂、不带隐患上天,进行系统、全面的卫星可靠性安全性设计专项审查,从卫星总体层面去把握卫星各系统和单机的安全性、可靠性,找出影响卫星安全性和可靠性的问题和薄弱环节,并及时采取有效措施加以改造,对于卫星研制是十分必要和有效的手段。文章基于如何立足卫星总体层面进行可靠性、安全性设计审查提出了一套具体的思路及方法。     

对海作战无人机指挥控制系统发展综述

首先对国外无人机指挥控制系统的发展现状、趋势进行了分析,引出我国对海作战无人机指挥控制系统产品谱系、技术领域发展路线的研究需求,还分析了我国对海作战无人机的作战需求和部署模式,得出不同形态控制站的发展思路和技术路线,同时结合美军无人机指挥控制系统核心能力发展情况,提出我国对海作战无人机指挥控制系统重点技术发展规划,为我国对海作战先进无人机指挥控制装备的研发进行探索。     

舰载机CRM培训体系研究

针对人为因素对航空安全的影响,介绍了目前世界各航空大国广泛开展的机组资源管理（CRM）的涵义,探究了CRM训练在军用航空中的发展与应用,提出了构建舰载机CRM培训体系的设想,为国产舰载机的安全飞行提供了一定的参考。     

2010年我国房地产业的政策导向与发展趋势

房地产业是我国国民经济发展的支柱产业,确保房地产业健康稳定发展不仅有助于我国抵御经济危机,而且是预防通胀的重要措施.在我国经济复苏这段时期内,国家将对房地产市场进行结构优化,包括支持保障性住房的发展、遏制投机行为、科学测算用地指标、严格规范土地储备、打击"囤地"行为等,以达到房地产市场和谐稳定发展的目标.     

信息系统灾难恢复的研究与实践

企业信息系统的灾难恢复是一项投资大、技术复杂的工程,需要在一套行之有效的方法论的指导下进行。通过对灾难恢复的原理分析,提出了以客户为中心的三角形体系框架。使用最优化理论对灾难恢复的策略进行了研究并在实际中得到应用。     

劫机事件处置及民航安保新探

“9．11”事件之后，劫机成为航空犯罪的一种最主要的手段，成为影响民用航空安全的最主要的非法人为因素。笔者以曾经从事民航飞行驾驶的工作经历，拟从军警协作反恐和民航内部防控等四个方面对劫机事件处置及民航安保问题进行分析和探讨。     

客户机/服务器模式下开发MIS两个关键技术的实现

本文介绍了在基于客户机/服务器模式下，开发MIS所采用有效而安全访问数据库的技术和方法。首先是数据库安全性。对视图、存储过程，在数据库服务器(SQL Server)设置用户ID和口令；其次是应用程序安全性。所有的应用程序在数据库服务器设置用户组表，表中存储着应用程序为其访问数据库而设置的不同的权限。最后，应用ADO技术中的三个对象：Connection、Command、Recordset，对数据库服务器中的数据实现安全、快速地访问。     

局域网内主机防范非法入侵的应用

由于Windows 2000以后的版本的操作系统提供了IPC ■和默认共享功能,这些默认的共享都有“■”标志,意为隐含的,包括所有的逻辑盘(C-■,D ■,E ■)和系统目录Winnt或Windows(admin ■)存在许多安全隐患,本地局域网用户可以轻而易举地通过共享硬盘,随意进入你的电脑系统,对用户的主机的数据和硬件设备可以进行任意的破坏和删除,并为Hacker准备了入侵的后门,本文提供了解决共享入侵的方法,以达到提高网络安全的目的。