论文部分内容阅读
介绍了软件的安全性设计与分析,其中包括软件安全性与安全关键软件的定义、系统软件各生命周期安全性工作的主要内容以及质量保障部门在软件安全性中所起的作用等。
软件的安全性设计与分析
【摘 要】
：
介绍了软件的安全性设计与分析,其中包括软件安全性与安全关键软件的定义、系统软件各生命周期安全性工作的主要内容以及质量保障部门在软件安全性中所起的作用等。
【机 构】
：
北京航天自动控制研究所北东100854工程师
【出 处】
：
质量与可靠性
【发表日期】
：
1999年04期
其他文献
目的本实验通过观察去势抵抗性前列腺癌患者标本中癌组织内自噬相关蛋白的表达,并在体外实验中研究miR-146a对去势抵抗性前列腺癌的白噬水平的影响,并初步探讨miR-146a对去势
说课是探讨教学方法,提高教学业务水平的有效途径,更是一种交流经验的好方法。什么是说课,一般从教材、教法与学法、教学程序、练习作业及扳书四个方面进行阐述。
Talking i
基于前景理论及国内外对于捐赠影响因素的发现,本研究聚焦于积分的重要属性,采用实验法,探讨积分特征对用户捐赠意愿的影响以及捐赠事项熟悉度在此过程中的调节作用,发现积分
中国是世界最大的棉花消费国和棉纺织工业大国,棉花作为重要的棉纺织工业原料对中国棉纺织产业乃至整个经济社会具有重要的影响。在中国加入WTO后的10余年间,中国棉花进口增
为PET-CT检查的患者一次性顺利完成检查或获得满意的图像,总结了检查过程中常常发生的问题,如血糖异常、咳嗽、疼痛、注射示踪剂前后运动、消化道钡餐检查尚未排空等,针对这
在当前高校思政课教学中,互动式教学法得到了广泛应用,且收效显著。但这之中也存在着较为明显的理论短视或理论弱化现象,如:因理论化约而陷入低水平循环、因理论倦怠而趋向娱
目的分析高空迅速减压对中耳和听力的影响。方法对因意外导致的某运-8飞机12名机组人员在7 000 m高空爆舱2天后行耳内镜检查和纯音测听、声导抗测试。结果发生飞机舱内迅速减
目的：分析银杏叶片联合厄贝沙坦片辅助治疗老年单纯收缩期高血压的临床效果。方法：2015年3月~2017年3月入选300例单纯收缩期高血压老年患者,分组方法：按照住院日期随机分组,单日