空中交通控制系统网络状态估计器安全性分析  

Security analysis of state estimator of networked control systems in air traffic control

作　　者：刘建良[1] 杨建[1] 刘为夷 李舟[1] 

机构地区：[1]中南大学信息科学与工程学院 [2]Qualcomm Inc,Santa Clara USA,95051

出　　处：《中南大学学报（自然科学版）》2013年第8期3216-3222,共7页Journal of Central South University:Science and Technology

基　　金：中南大学高层次人才科研启动基金资助项目(7601110214)

摘　　要：线性状态估计器已被广泛应用于空中交通控制(ATC)系统监测和飞行器控制中。本文分析其在GPS欺骗、虚假数据注入和计算机病毒等网络攻击情况下的安全性。由于网络攻击很少发生,准确地对网络攻击进行建模几乎不可行。因此,分析所有可能的攻击情况,并在最坏的情况下分析状态估计器的安全性。最后进行仿真,结果显示:对于一类广泛应用的线性α-β估计器,提出的优化工具可识别所有可能的网络攻击中的隐蔽攻击,证明该方法的有效性。同时,方法也具有一般性,可适用于其他一些控制系统的安全性分析。The security problem of the linear state estimator was focused on, which is used for air traffic control （ATC） monitoring and aircraft tracking. Since network attacks happen rarely, it is almost impossible to accurately model them. Therefore, all possible attack cases were analyzed, and the security problem of the estimator in the worst case was studied Simulations show that the optimization tool proposed in this work is able to diagnose most dangerous stealthy attack in all possible network attacks. Especially for a class of linear state estimator, the alpha-beta filter, the result can be widely applied. Also, the proposed novel method is general enough to be extended to the security analysis of other control systems.

关 键 词：卡尔曼滤波器 网络安全 凸优化 空中交通管制 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]