一、近年主要研究内容

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

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

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

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

二、构建的实验平台

三、实验场景

四、相关研究成果

[1] Xiaomin Wei, Yizhen Xu, Haibin Zhang, Cong Sun, Xinghua Li, Fenghua Huang*, and Jianfeng Ma. Sensor Attack Online Classification for UAVs Using Machine Learning. Computers & Security 150(2025): 104228. （CCF B类期刊）pdf

[2] 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 153(2024): 103212. （CCF B类期刊）pdf

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

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

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

[6] 刘乔森,孙聪,魏晓敏,曾荟铭,马建峰. 多时间无干扰性验证方法. 软件学报, 2024,35(10):4729-4750. （CCF A类中文期刊）pdf

[7] 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. （CCF C类会议） pdf

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

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

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

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

[12]         Xiaomin Wei. AADL-based safety analysis approaches for safety-critical systems. In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), pp. 481-482. IEEE, 2019. （CCF C类会议）pdf

[13]         Xiaomin Wei, Yunwei Dong, and Hong Ye. QaSten: Integrating quantitative verification with safety analysis for AADL model. In 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 103-110. IEEE, 2015. （CCF C类会议）pdf

[14]         Xiaomin Wei, Yunwei Dong, Mengmeng Yang, Ning Hu, and Hong Ye. Hazard analysis for AADL model. In 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1-10. IEEE, 2014. pdf

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

[16]         董云卫,魏晓敏. 基于确定性随机Petri网的AADL模型安全性评估方法, 2021-10-22, 中国, ZL201810256758.X. pdf

[17]         董云卫,孙峰,孙长发,魏晓敏,曹阳,张建奇.基于信息物理融合系统的智慧车间柔性生产调度方法, 2024-01-12, 中国, ZL201910062732.6. pdf

[18]         魏晓敏,等. 基于机器学习的无人机物理攻击检测与恢复方法及装置, 2024-01-05, 中国, 202311459161.2. pdf

[19]         魏晓敏,等. 一种基于GPS信号特征的时间欺骗检测方法, 2023-09-12, 中国, 202310499226.X. pdf

五、指导学生

西安电子科技大学优秀本科论文：双一拙（2024届）

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