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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2025 IEEE International Conference on Cyber Security and Resilience (CSR) s. 957 - 962
Hlavní autoři:	Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 04.08.2025
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!