嵌入式浏览器中SSL的设计与实现

针对嵌入式浏览器信息传输的安全性问题和嵌入式软件的特点,介绍了SSL协议,提出了一种在嵌入式浏览器中实现对SSL协议支持的方法.通过分析影响SSL协议客户端性能的因素,对SSL的实现过程进行了适当的优化,使用会话恢复机制、只对服务器进行验证的简单握手模式、减少TCP调用次数和优化对批量数据加密算法等方法,实现了嵌入式浏览器对SSL协议的支持;并介绍了方法在嵌入式浏览器JARI_Browser中的实现过程.实际的应用验证了该方法的可行性和正确性.     

“This program will not be a threat to them”: Ballistic Missile Defense and US relations with Russia and China

Although the Obama Administration has differed from its predecessor in a number of respects, on the specific issue of Ballistic Missile Defense (BMD), there is a striking continuity. The Obama Administration has remained committed to the BMD project, even as it has modified the schedule of deployments and prioritized different systems from the Bush Administration. Significantly, this has led to Chinese and Russian balancing in the nuclear sphere. As a result, there is evidence of a security dilemma-type dynamics in US relations with China and Russia. At present, there is no study that analyzes Russian and Chinese hard internal balancing against the USA in the sphere of missile defense during the Obama Administration. This article fills this gap.     

Pakistan’s nuclear weapons: how safe is safe enough? Transparency versus opacity

Due to expanding and increasing religious extremism and terrorism coupled with political instability in Pakistan, most western observers believe that Pakistan's nuclear weapons are not secure and could be taken over by terrorists. This would have adverse implications for the region and for global peace, especially for the security of USA and Europe. This article argues that this perception is based on a flawed understanding and knowledge of how Pakistan's command and control setup has evolved and operates. Pakistan's nuclear weapons are as safe as any other state's nuclear weapons. Pakistan has also been active in supporting and participating in global efforts to improve nuclear safety and security. Over the years, Pakistan has been quite open in sharing information regarding how it is improving its command and control system with western governments as well as scholars. This article argues that the steps Pakistan has taken to secure its nuclear weapons are adequate and that Pakistan would continue to further strengthen these measures; however, it is the expanding religious extremism, terrorism and anti-Americanism in the country which make the international perception of Pakistan extremely negative and then seep into the perception of Pakistan's nuclear weapons safety and security.     

Strategic “defensivism” and post-reset blues: US–Russian nuclear arms reductions,missile defenses and minimum deterrence

US nuclear deterrence and arms control policy may be moving, by design and by inadvertence, toward a posture of strategic “defensivism”. Strategic “defensivism” emphasizes the overlapping and reinforcing impact of: (1) reductions in US, Russian and possibly other strategic nuclear forces, possibly down to the level of “minimum deterrence,” (2) deployment of improved strategic and/or theater antimissile defenses for the US, NATO allies and other partners; and (3) additional reliance on conventional military forces for some missions hitherto preferentially assigned to nuclear weapons. This article deals with the first two of these aspects only: the interaction between missile defenses and offensive force reductions in US–Russian strategy and policy. The findings are that stable deterrence as between the USA and Russia is possible at lower than New Strategic Arms Reduction Treaty levels, but reductions below 1000 deployed long-range weapons for each state, toward a true minimum deterrent posture, will require multilateral as opposed to bilateral coordination of arms limitations. Missile defenses might provide some denial capability against light attacks by states with small arsenals, but they still fall short of meaningful damage limitation as between powers capable of massive nuclear strikes.     

飞机再次出动保障活动设计方法

飞机再次出动保障活动所需时间长短对提升飞机的作战效能至关重要,针对当前在飞机保障资源有限约束条件下,再次出动保障活动工期最短难以实现的难题,提出了基于分支切割法的再次出动保障活动时间优化方法。该方法以飞机再次出动保障活动所需时间最短为目标,以有限的保障人员和保障作业间逻辑关系为约束条件,可计算出时间最短的飞机再次出动保障活动具体流程,并用VB6.0编制成计算机程序,开发了飞机再次出动保障活动分析系统。最后,对某型飞机真实保障活动进行了实例分析,结果表明,使用该方法计算得到的结果准确、可靠,与实际保障情况相符,可为飞机再次出动保障与决策提供指导,提升保障活动的自动化水平,具有很好的工程应用价值。     

无人机配载弹射式导弹静稳定性分析

通过刚体飞行六自由度动力学方程建立弹射式导弹初始段无控飞行模型,并结合弹射装置动力模型和导弹发动机推力模型进行仿真计算。基于无控飞行模型和仿真结果分析了无人机配载弹射式导弹发射特性,在导弹初始飞行段对机弹分离安全性和导弹姿态控制要求进行了研究。对导弹不同静稳定度下的运动特性对比分析,分别给出了满足各种安全和控制要求的导弹静稳定度范围。进一步综合所有安全和姿态控制要求,得到了满足所有要求的最佳静稳定度。经过一个实例的仿真研究,结果表明建立的模型与所用到的方法是合理有效的。     

网络安全实验平台K - 划分映射方法

对网络安全实验平台映射问题进行形式化描述,提出基于K-划分的映射方法,其核心思想是为了尽量减少占用网络资源,尽可能将逻辑拓扑紧密连接的节点映射到同一台交换机上。基于K-划分的映射方法采用贪心法确定初始划分状态,根据评价函数进行节点移动,对生成的子图进行算法迭代,直到所有子图的节点数量不大于物理拓扑端口容量为止。基于K-划分的映射方法弥补了K-L算法中初始划分状态选取的任意性对最终结果产生较大影响的缺陷,实验结果表明该算法的求解时间远小于遗传算法,能在较短的时间内得到映射结果。     

电传操纵系统可靠性分析及飞行安全评估

分析了电传操纵系统可靠性,介绍了可靠性设计的工程方法。建立了飞行员排除故障的数学模型,提出了确定驾驶员排除飞行危险的条件概率的两种方法;在研究人-机闭环系统基础之上,建立了基于马尔可夫链的飞行安全评估模型,提出了由于飞行控制系统故障引起飞行危险的安全评估计算方法。最后以横向通道传感器故障为例对某型飞机进行安全评估。