论文部分内容阅读
提出了应用工作流逻辑网（WL_Net）进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先，综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型；然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析，以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析，从一定程度上解决模型可读性和网结构爆炸的问题。