国际空间法中的限制性义务及其他规则概要

国际空间法是指调整国家、国际组织之间开展外空探索、利用、开发活动中权利义务规则的总称。狭义的国际空间法仅指以联合国外空五大公约为核心的国际条约体系,对于缔约国是具有强制的法律约束力的;广义的国际空间法还包括联合国大会决议和联合国外空委大会文件在内的不具有法律约束力、但具有很强的政治约束力的外空国际活动规则。中国1983年加入《外空条约》,1988年加入《营救协定》、《责任公约》和《登记公约》,没有加入《月球协定》。文章分析前4个公约以及《遥感原则》、《防止在外空部署武器条约草案》、"外空透明与建立信任措施"联大决议、《外空活动长期可持续准则草案》等不具有法律约束力的文件,简要分析其对中国航天活动可能产生的限制和影响,并提出对策、建议。     

SQL Server 2000的安全配置

介绍了操作系统和微软SQL Server2000数据库的安全配置的方法,以及在相关的安全和使用方面需注意的问题,其中数据库的安全配置包括了使用安全的密码策略、使用安全的账号策略和管理扩展存储过程等九个方面.     

主动网络拓扑结构和操作系统伪装技术

详细介绍了一种新的基于欺骗的主动网络拓扑结构和操作系统伪装技术。通过linux系统内核驱动编程,拦截TCP/IP协议栈的数据包,根据操作系统的指纹库和网络伪装的策略改写报头信息,并跟踪会话信息,实现数据透明传输。通过大量伪装IP地址隐藏信息流向,保护重要主机;同时诱骗入侵者,及早发现入侵者。完成该伪装还需要伪装IP地址管理、动态地址分配和微路由技术的分工合作。     

某机载电子设备总体结构设计

从结构设计角度出发,根据航空平台的工作模式和环境空间要求,针对某机载电子设备的标准化设计、热设计、电磁兼容性设计、防冲击、振动、＂三防＂设计等方面进行了论述。结合型号设计的工程经验,以航空电子设备结构设计的特点和原则为重点,对机载电子设备的结构设计进行了阐述,通过合理的布局设计和仿真计算来实现结构设计要求。介绍机载电子设备结构设计的经验,可供同行参考。     

基于Web的民航空防安全威胁预警系统研制

民航空防安全新旧威胁长期交织并存,亟待强化空防安全威胁预警响应管理技术流程。本文探讨了民航空防安全威胁与风险的生成演化规律,明晰威胁评估与预警响应的核心技术环节,提出民航空防安全威胁预警模型,开发基于web的预警系统,为我国民航空防安全威胁预警机制构建提供技术支持。     

移动Ipv6的安全威胁及对策

移动计算的环境及其特点,决定了它比普通计算具有更多的潜在威胁,针对移动Ipv6的设计,将潜在的安全问题进行分类,阐述源于不同拓扑位置的威胁,提出相应的对策以减少或消除这些安全隐患。     

面向空管安全系统中人为因素的本体建模分析

人为因素在空管安全系统中是导致不安全事件发生的关键因素;本体作为一种概念化的明确的规范说明,是对客观存在的概念和关系的描述,本研究将本体建模引入空管安全系统中,提出了一种基于本体的提取关键因素的分析方法,对影响空管安全的关键因素——人为因素,进行了本体形式化的描述,构建了人为因素本体模型,并通过实验对不安全事件中的人为差错进行本体模型分析;通过本体建模挖掘出不安全事件内在的、隐舍的逻辑关系,从而为降低或避免不安全事件的发生提供了科学依据。     

C程序缓冲区溢出漏洞精确检测方法

C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题,利用工具有效地检测并消除出这一漏洞,可以大大提高系统的安全性.针对现有工具在检测缓冲区溢出漏洞上的不足,提出了一种利用模型检测技术对C语言代码中潜在的缓冲区溢出漏洞进行精确检测的新方法.该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定,再使用模型检测工具对可达性进行验证.使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统,并使用该原型系统进行了试验.结果表明该方法可以较为精确地检测并定位出代码中的漏洞.      

流媒体系统多数据流安全的动态选择控制模型

部分加密等媒体数据加密算法是保护媒体数据安全的有效方法,但用其加密流媒体系统中的多路媒体数据将使系统面临效率、规模扩展与安全性问题.为此提出基于数据安全权重的多数据流加密的动态最优选择控制模型,根据各数据流的带宽、权重等参数,为不同数据动态选择不同强度的加密方法.由于化简后的数学模型是NP难的0-1背包问题,结合实际系统特点提出基于贪婪启发思想的增量式近似算法.理论分析和实验表明该算法时间复杂度低且具有良好的近似性.最终在一个实用流媒体系统——Admire系统中设计实现了选择控制模型的原型子系统.      

PGP中的信任问题及解决办法

PGP(Pretty Good Privacy)作为强有力的公钥加密工具,已经得到广泛的应用,但不正确的信任假设常常会破坏PGP的安全性.详细研究了PGP的信任模型——信任网,给出其信任结构及信任推理过程.对于PGP中的薄弱环节,提出了相应的解决办法.