Taking the UAV as a typical application scenario, this paper studies the key technologies of UAV system security protection, can defend the typical network attack behavior against UAV systems, and develop prototypes to improve the security protection capability of intelligent unmanned systems. After pre-research, the topic technology maturity reached level 4.
main indicators
Research content: (1) Unmanned system formal modeling technology: UAV as a typical application scenario, research on unmanned system modeling technology, establish a formal model of UAV flight control software, communication system and hardware platform; Research on the security requirements modeling and analysis technology for UAV systems to achieve the decomposition from system level requirements to component level requirements. (2) Study the security combination verification and security counterexample analysis technology of UAV system model to realize the security verification of UAV system model and component model; Study the model-driven UAV system software code generation technology to realize Safe generation of critical code for drone systems. (3) Unmanned system intelligent security control technology: research on the tight coupling mode of intelligent control and intelligent security of unmanned system, and the structure of safe programmable neural network processor, which satisfies the flexible and diverse application of artificial intelligence algorithm in the field of unprotected system security protection. (4) Unmanned system wireless communication security protection technology: research UAV system security communication protocol and protocol modeling and verification technology based on formal method, construct UAV system security communication software, can support multiple unmanned cluster network multiple Security. The main tactical technical indicators: (1) lightweight chip uses domestic technology, supports a variety of neural network algorithms, artificial intelligence control module energy efficiency is not less than 0.25tops / W, lightweight chip supports no less than 10 kinds of security algorithms, The throughput of at least 3 kinds of typical algorithms is not less than 100Mbps. The lightweight chip supports the instruction level of the security algorithm. The programmable information of the single algorithm is no more than 300KB. (2) The form of the UAV system based on the formal method Modular, verification and code generation capabilities; support for UAV system software and hardware integration modeling, support for automated automation verification of UAV system models, support for key software component code generation; (3) support for confidentiality of instructions and data, Formal verification of typical security attributes such as authentication and non-repudiation, supporting security counter-examples; (4) Supporting anti-replay attacks and anti-spoofing attacks. Forms of results: research reports, patents, standard specifications, prototype systems. The maximum number of support units: 1 home. target drone
Research content: (1) Unmanned system formal modeling technology: UAV as a typical application scenario, research on unmanned system modeling technology, establish a formal model of UAV flight control software, communication system and hardware platform; Research on the security requirements modeling and analysis technology for UAV systems to achieve the decomposition from system level requirements to component level requirements. (2) Study the security combination verification and security counterexample analysis technology of UAV system model to realize the security verification of UAV system model and component model; Study the model-driven UAV system software code generation technology to realize Safe generation of critical code for drone systems. (3) Unmanned system intelligent security control technology: research on the tight coupling mode of intelligent control and intelligent security of unmanned system, and the structure of safe programmable neural network processor, which satisfies the flexible and diverse application of artificial intelligence algorithm in the field of unprotected system security protection. (4) Unmanned system wireless communication security protection technology: research UAV system security communication protocol and protocol modeling and verification technology based on formal method, construct UAV system security communication software, can support multiple unmanned cluster network multiple Security. The main tactical technical indicators: (1) lightweight chip uses domestic technology, supports a variety of neural network algorithms, artificial intelligence control module energy efficiency is not less than 0.25tops / W, lightweight chip supports no less than 10 kinds of security algorithms, The throughput of at least 3 kinds of typical algorithms is not less than 100Mbps. The lightweight chip supports the instruction level of the security algorithm. The programmable information of the single algorithm is no more than 300KB. (2) The form of the UAV system based on the formal method Modular, verification and code generation capabilities; support for UAV system software and hardware integration modeling, support for automated automation verification of UAV system models, support for key software component code generation; (3) support for confidentiality of instructions and data, Formal verification of typical security attributes such as authentication and non-repudiation, supporting security counter-examples; (4) Supporting anti-replay attacks and anti-spoofing attacks. Forms of results: research reports, patents, standard specifications, prototype systems. The maximum number of support units: 1 home. target drone
