摘要：提出了保证认证协议安全性的2个条件:主体的活现性和会话密钥的保密性、新鲜性和关联性,并形式化证明了2个条件满足基于不可区分性的安全性定义.以Needham-Schroeder认证协议和SSL协议为例,说明分析认证协议是否满足2个条件的方法,以及如何根据安全属性的缺失直接构造攻击.基于2个条件的安全性分析方法不仅能用于证明协议正确,也能用于查找协议漏洞.该分析方法与攻击者的具体行为描述和多协议运行环境无关,是安全性的精确量化指标,其简单、有效,能帮助研究人员分析和改善认证协议设计.

摘要：伊尔─８６是首次采用了可靠性、安全性和维修工艺性定量指标的伊尔型飞机。系统的综合可靠性工程贯穿于伊尔飞机的设计、生产和使用各个阶段。在设计伊尔─８６飞机时，通过制定并实施《飞机设计、制造和使用各阶段可靠性保证、检测和验证制度》及《设计、批生产和使用阶段可靠性、安全性和维修工艺性保证综合大纲》来实现系统的综合解决办法。与这种飞机的其他机型比较，伊尔─８６飞机可靠性有了很大提高。

摘要：卫星电源分系统单机产品保证工作的对象是电源分系统单机产品。电源类单机产品是构成卫星的基本单元,是最基础的质量管理环节,也是型号质量与可靠性的基础。电源类单机一旦出故障,往往会造成任务降级或整星失效,因此电源分系统单机类产品的产品保证工作尤其重要。

摘要：随着生活水平的不断提高,人们对居住环境的要求也不断提高,对居住区中儿童游戏空间的安全性、趣味性、美观性等多个方面的关注度越来越高。因此开发商把这一区域作为重点来做,他们常常使用一些儿童喜欢的游戏器械和设施来满足儿童的需求,儿童对它们的喜爱程度,是决定游戏空间设计成功与否的重要因素。本文就游戏设施类型与选择、游戏设施的尺寸、主要游戏设施、设计原则四个方面进行阐述。