期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

软件安全性分析的Petri网方法(续三)

下载PDF

导出

摘要继续循环后不会增加新的状态。因此,经过软件状态演化分析,可知该软件共66种实际可达状态。但有12种危险状态。 (2)危险状态分析 “危险状态”是因为逃逸状态和断电状态同时出现。当已处于逃逸状态时断电,逃逸指令的实施将无法保证。为避免该类“危险状态”的出现,要求当处于逃逸状态时,

作者宋晓秋

机构地区航天总公司二院二○四所

出处《质量与可靠性》 1998年第4期39-40,共2页 Quality and Reliability

关键词软件安全性 PETRI网

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1宋晓秋.软件安全性分析的Petri网方法(续2)[J].质量与可靠性,1998(3):36-40.
2宋晓秋.软件安全性分析的Petri网方法[J].质量与可靠性,1998(1):33-36.
3周新蕾.软件安全性分析技术及应用[J].质量与可靠性,2005(3):37-40. 被引量：10
4周新蕾,刘正高.航天软件可靠性安全性技术应用发展趋势[J].质量与可靠性,2006(3):41-43. 被引量：4
5史亭文,王伟,张成.航空系统中的软件安全性研究[J].电脑知识与技术（过刊）,2015,21(4X):51-52 54. 被引量：1
6宋晓秋.软件安全性分析的Petri网方法(续一)[J].质量与可靠性,1998(2):38-39.
7汪映欣,杨坤涛.浅述软件安全性设计[J].舰船标准化工程师,2004,37(1):43-45.
8何皎,汪厚祥,聂凯.基于时间Petri网的舰空导弹发射控制软件安全性分析[J].计算机与数字工程,2012,40(8):84-86. 被引量：4
9韩翔宇,石柱.WL_Net在导弹飞行控制软件安全性分析中的应用[J].航天控制,2008,26(2):82-85.
10郭维.基于动态验证的可执行程序安全性逆向分析技术[J].警察技术,2010(4):26-28.

质量与可靠性

1998年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部