论文部分内容阅读
安全关键软件如果发生故障，可能会对国家财产和人民安全造成巨大的损失，所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性，而只能在软件生命周期中从安全性角度对开发行为进行规范和保障。概述了安全性相关的概念，并给出了一个完整的安全关键软件安全性保障工作流程。
安全关键软件的安全性保障工作研究
【摘 要】
：
安全关键软件如果发生故障，可能会对国家财产和人民安全造成巨大的损失，所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性，而只能在软件生命周期中从
【机 构】
：
中国科学院光电研究院,中国科学院研究生院
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年5期
其他文献
摘 要 2000年3月～2006年2月住院的肾盂肾炎患者188例，采用随机分组对比方法，试验组93例于入院当时留取清洁中段尿标本，做尿细菌培养加药物敏感度试验，之后给予抗生素治疗，以菌落计数＞105/ml为阳性，共41例，有敏感药物的立即改为敏感药按疗程治疗。对照组95例入院按常规治疗，于次日晨留取尿标本，做培养加药敏试验，阳性者12例。结果两组尿培养阳性率，疗程平均住院时间均有高度显著性差异（P
科研经费管理是高校财务管理中的重要环节,是加强高校内部控制制度建设的重要组成部分。如何合理使用和监管科研经费是政府部门、高校管理层甚至普通科研工作者都关心的问题
电子控制单元（ECU）有通过串行数据线路连接交换信息的需要，为支持汽车上ECU之间通信的安全性和可靠性，在符合OSEK NM规范的基础上，设计和实现了TH—OSEK车用网络管理系统。详细介
排卵是整个生殖过程的关键环节,中枢神经系统、下丘脑—垂体—卵巢轴(HPOA)、代谢异常、免疫因素等都可造成排卵障碍,经后期是血气复生、生殖之精生长的关键时期,也是辨证属
传统的数据挖掘方法会生成大量的模式和规则,且难以理解,而实际上用户感兴趣的只是其中的一小部分。针对该问题,在挖掘序列模式的PrefixSpan算法基础上提出一种带数据项约束