LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS

Industrial Control Systems (ICS) are vulnerable to cybersecurity threats due to their distributed architecture and critical role in infrastructure sectors. Ensuring their secure operation requires deploying runtime monitoring mechanisms to detect behavioral deviations, with inline security monitorin...

Full description

Saved in:

Bibliographic Details
Published in:	2025 IEEE International Conference on Cyber Security and Resilience (CSR) pp. 957 - 962
Main Authors:	Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios
Format:	Conference Proceeding
Language:	English
Published:	IEEE 04.08.2025
Subjects:	cyberphysical systems formal specification Formal specifications Generative AI Industrial control Industrial Control Systems (ICS) inline monitors Java Modeling Language (JML) Large language models large language models (LLMs) Monitoring Runtime runtime verification Security security monitoring Software Source coding water distribution systems Writing
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!