{"title":"摘要:基于LTL的回退控制假注入攻击检测","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":"{\"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}","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}
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control
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号
