国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

針對無(wú)人機組與地面控制站之間進(jìn)行無(wú)線(xiàn)通信時(shí)的身份認證問(wèn)題，首先分析無(wú)線(xiàn)通信協(xié)議的工作流程及其形式化表示，然后對網(wǎng)絡(luò )系統中的誠實(shí)主體和攻擊者進(jìn)行形式化建模，其中推導了協(xié)議安全屬性的LTL公式，通過(guò)建立密鑰機制，實(shí)現控制站與無(wú)人機節點(diǎn)以及各個(gè)無(wú)人機節點(diǎn)之間的身份認證。運用模型檢測工具SPIN驗證無(wú)線(xiàn)通信協(xié)議的一致性，其中提出一種改進(jìn)的知識項獲取方法，加快攻擊者需掌握知識集的求取過(guò)程。驗證結果表明該無(wú)人機無(wú)線(xiàn)通信協(xié)議具有中間人攻擊漏洞。