{"title":"WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control","authors":"Naomi Kuze, Ami Sakakibara, T. Ushio","doi":"10.1109/ICCPS48487.2020.00030","DOIUrl":null,"url":null,"abstract":"As the development of cyber-physical systems, it becomes important to consider security for physical systems, not only for cyber systems. In this paper, we focus on an UAV control system as an example of cyber-physical systems, and propose an UAV control system with fallback control for avoiding false injection attacks. Moreover, for improving both the safety and availability of the system, we proposed an attack detector based on the runtime verification with the LTL.","PeriodicalId":158690,"journal":{"name":"2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCPS48487.2020.00030","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
As the development of cyber-physical systems, it becomes important to consider security for physical systems, not only for cyber systems. In this paper, we focus on an UAV control system as an example of cyber-physical systems, and propose an UAV control system with fallback control for avoiding false injection attacks. Moreover, for improving both the safety and availability of the system, we proposed an attack detector based on the runtime verification with the LTL.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
