论文部分内容阅读
立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。
软件安全性设计的分析验证要求研究
【摘 要】
：
立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析
【机 构】
：
中国航空综合技术研究所,
【出 处】
：
航空标准化与质量
【发表日期】
：
2017年03期
其他文献
目的:分析安徽省新农合按病种付费下冠心病患者住院费用结构及其影响因素,为完善按病种付费制度提供决策依据。方法:通过安徽省农村合作医疗管理中心信息管理系统,随机在皖北
禾本科植物是我国天然草地的饲用植物中经济价值最大的牧草类群。本文根据1983～1989年在东北草地采集的80种禾本科牧草代表样本的计数和度量,探讨了结实率和千粒重数量性状的
目的探讨新疆哈萨克族血管紧张素转移蛋白受体2基因(angiotensinⅡreceptor 2,AGTR2)rs1403543与阿替洛尔和卡托普利作用下血压及肾素-血管紧张素-醛固酮系统(RAAS)之间的关
目的探讨小儿静脉留置针进针深度对置管时间的影响。方法选择2013年2月—2014年2月我院收治的需要进行浅静脉输液的患儿200例,将其随机分为试验组106例,对照组94例,比较2组进
海南是我国唯一的热带岛屿省份,也是我国唯一的热带水果、热带经济作物、冬季瓜菜等农产品的重要生产基地。热带农产品资源十分丰富、品质优良、具有鲜明特色。随着科技和社
目的：为了解决冬季气温较低时血透中心透析液B粉的溶解速度的问题，提高透析液配液时间的可控性，人们革新了原有的配液设备。方法：采用快速加温方式改进原透析液配液设备，达到
<正> 1990年6月18日～22日,在法国滨海城市Brest,召开了第七届国际可靠性及维修性会议。到会的法国以外的各国专家130人,其中中国4人,英藉华人1人。会议选出七十多篇论文在大、
稳定入渗率(稳渗率)是衡量土壤渗透性能的重要指标。采用双环入渗法(RI)、人工降雨法(RS)和Guelph渗透仪法(GP)测估了太行山低山丘陵区油松林地的稳渗率。三种方法测估的稳渗
<正>青花曹操赠袍图笔筒明天启六年(1626),"丙寅孟春月写于芝兰室"款,高21.2厘米。此器曾为晚清重臣庆宽(1848～1927)家族递藏。笔筒器型硕大,周身以青花绘关云长千里走单骑中
针对高速艇艉轴架轴系振动的问题,建立三维有限元模型,应用ANSYS软件对其结构振动响应进行分析预报。通过静力计算、模态求解、谐响应分析、时间历程处理、扩展位移解及查看