一、近年主要研究内容：

1)、无人机GNSS欺骗检测，已分别提出基于无人机感知数据、控制参数、卫星信号特征、航迹和地磁场的欺骗检测方法。

2)、无人机物理攻击检测与恢复方法，其中，攻击类型包括GNSS攻击、陀螺仪攻击和加速度计攻击等。

3)、无人机室内定位方法。

4)、基于形式化验证的嵌入式系统安全性分析方法。

二、构建的实验平台：

三、实验场景：

四、相关研究成果：

[1] Xiaomin Wei*, Cong Sun, Xinghua Li, and Jianfeng Ma. GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio. Journal of Systems Architecture (2024): 103212. （CCF B类期刊）pdf

[2] 魏晓敏*,李兴华,孙聪,张海宾,马建峰. MagDet:基于地磁的无人机GPS欺骗检测方法[J].计算机学报,2024,47(04):877-891. （CCF A类中文期刊）pdf

[3] Xiaomin Wei, Jianfeng Ma, and Cong Sun. A Survey on Security of Unmanned Aerial Vehicle Systems: Attacks and Countermeasures. IEEE Internet of Things Journal (2024). （JCR一区，Top期刊）pdf

[4] 魏晓敏*,董云卫,孙聪,李兴华,马建峰. 基于AADL的混合关键系统随机错误与突发错误安全性分析.软件学报,2024,35(9):4287-4309. （CCF A类中文期刊）pdf

[5] 刘乔森,孙聪,魏晓敏,曾荟铭,马建峰. 多时间无干扰性验证方法. 软件学报,2023. （在线） （CCF A类中文期刊）pdf

[6] Xiaomin Wei*, Luyao Wang, SigFeaDet: Signal Features-Based UAV GPS Spoofing Detection Using Machine Learning. The 29th IEEE International Conference on Parallel and Distributed Systems (ICPADS), pp. 2202-2209. IEEE, 2023. pdf

[7] Xiaomin Wei*, Yao Wang, and Cong Sun. PerDet: Machine-Learning-Based UAV GPS Spoofing Detection Using Perception Data. Remote Sensing. 2022 Oct 1;14(19):4925.

[8] Xiaomin Wei*, Cong Sun, Minjie Lyu, Qipeng Song, and Yue Li. ConstDet: Control Semantics-Based Detection for GPS Spoofing Attacks on UAVs. Remote Sensing. 2022 Nov 5;14(21):5587.

[9] Xiaomin Wei, Yunwei Dong, Xuelin Li, W. Eric Wong*, Architecture-level hazard analysis using AADL, Journal of Systems and Software, 2018(137): 580-604. （CCF B类期刊）

[10]         魏晓敏*,董泽乾,肖明睿,田聪. 基于AADL的失效概率分配及安全性评估方法.软件学报,2020,31(6): 1654−1671. （CCF A类中文期刊）

[11]         魏晓敏,马建峰,杨超,孙聪. 基于航迹的无人机GNSS欺骗检测, 2023-6-30, 中国, ZL202110086012.0.

陕西省网络与系统安全重点实验室