民航业务系统的安全性分析与验证

摘要：

民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件，因此民航业务系统的安全性十分重要，形式化验证方法是保障系统安全性的重要技术手段。本文结合故障树分析技术提取民航业务逻辑的安全性验证需求，并用新提出的ABPD业务流程模型为民航业务系统建模，进一步分析并定义出6种安全性性质。最后，采用图搜索方法对ABPD模型进行安全性验证并给出具体算法实现。实验结果表明了算法和程序的有效性。

关键词：民航业务系统、故障树分析技术、ABPD模型、安全性验证、模型验证

分类号：TP302.1(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划项目2014CB744900

在线出版日期：2014-11-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：46-51,65