科研之友
微信
新浪微博
Facebook
分享链接
摘要
智能合约具有去中心化、不可篡改、可溯源以及自动化执行等特点，能有效适应军事领域无人机集群作战需求，受到了学术界和工业界的广泛关注和高度重视。本文探讨了智能合约在无人机集群作战领域的应用，从高级语言层、区块链层、虚拟机层三个方面重点分析了智能合约在应用无人机集群作战领域中典型的潜在漏洞；针对潜在漏洞详细介绍了模糊测试、符号执行、形式化验证、深度学习四种检测技术，在此基础上提出了四种相应的检测算法。研究智能合约在无人机集群作战中的应用及其漏洞检测技术和检测算法对于提高军事领域无人机集群建设安全系数具有一定的实践意义。
-
单位中国人民解放军陆军工程大学
