民航作为社会发展和国民经济的重要领域，是一项高投入、高技术和高风险的行业。民航业务系统安全水平是影响和制约民航业务发展的重要因素。随着民航业务的发展，民航业务系统信息化也加速发展。民航业务系统规模越来越大，越来越复杂，在民航业务系统的研发过程中，迫切需要对系统进行安全性分析和验证，但目前相关方面的研究和实践工作较薄弱。本文正是针对目前民航业务系统安全性研究的不足和现实需求，试图研究一种可行的安全性分析方法和相关的验证算法，对民航业务系统进行安全性分析和验证。本文主要研究内容如下：(1)引入故障树分析技术进行民航业务系统模型的安全性分析。针对民航业务系统的签派系统中典型事故进行总结，根据故障树底事件找出业务系统不安全的底层原因并对其进行定性分析，确定安全性需求。(2)提出基于有向图的民航业务系统模型ABPD。该模型将数据间的依赖关系引入到传统业务流程模型中，不但能够在顺序流中表达任务之间的逻辑关系，也能够描述数据间逻辑关系。(3)分析民航业务系统的安全性并设计安全性验证方法。根据民航安全性需求，总结安全性约束条件，提出6类安全性，进一步设计出基于ABPD模型的图搜索的民航业务系统安全性验证算法。(4)安全性验证方法实现。引入XML可扩展标记语言对ABPD模型进行描述，分析模型中节点的关系，给出模型的数据结构，实现民航业务系统安全性验证算法，最后使用MFC编写验证程序，形成一个验证工具原型。系统运行和测试结果表明，本文提出的方法可以对相关安全性质进行有效验证。