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

• 作者: 王立松 邢逆舟
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 民航业务系统 故障树分析技术 ABPD模型 安全性验证 模型验证
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 应用与开发
• 页码范围: 46-51,65
• 页数: 7页
• 分类号: TP302.1
• 字数: 5213字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2014.10.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0
2	邢逆舟	南京航空航天大学计算机科学与技术学院	3	6	1.0	2.0