Abstract
Both the sophistication and scale of cyberattacks are increasing, revealing the extent of risks at which critical infrastructure and other information and communication systems are exposed. Furthermore, the introduction of IoT devices in a number of different applications, ranging from home automation to the monitoring of critical infrastructure, has created an even more complicated cybersecurity landscape. A large amount of research has been done on detecting these attacks in real time, however mitigation is left to security experts, which is time consuming and may have economic consequences. In addition, there is no public data available for action selection that could enable the use of the latest techniques in machine learning or deep learning for this area. Currently, most systems deploy a rule-based response selection methodology for mitigating detected attacks. In this paper, we introduce a situation calculus-based approach to automated response for IoT cyberattacks. The approach offers explicit semantic-rich cognitive modeling of attacks, effects and actions and supports situation inference for timely and accurate responses. We demonstrate the effectiveness of our approach for modelling and responding to cyberattacks by implementing a use case in a real-world IoT scenario.
Original language | English |
---|---|
Title of host publication | 2021 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/IOP/SCI) |
Publisher | IEEE |
ISBN (Electronic) | 978-1-6654-1236-0 |
ISBN (Print) | 978-1-6654-2955-9 |
DOIs | |
Publication status | Published (in print/issue) - 18 Nov 2021 |
Event | 2021 IEEE Smart World Congress - Atlanta, Atlanta, United States Duration: 18 Oct 2021 → 21 Oct 2021 http://ieeesmartworld.org/ |
Conference
Conference | 2021 IEEE Smart World Congress |
---|---|
Country/Territory | United States |
City | Atlanta |
Period | 18/10/21 → 21/10/21 |
Internet address |
Keywords
- Economics
- Technological innovation
- Home automation
- Smart cities
- Biological system modeling
- Real-time systems
- Critical infrastructure
- Cognitive Model
- Instrusion response
- Cybersecurity
- Cyberattacks
- Internet of Things
- Situation Calculus
- Epistemic Logic
- Dynamic Logic