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žené v:

Podrobná bibliografia
Vydané v:	2025 IEEE International Conference on Cyber Security and Resilience (CSR) s. 957 - 962
Hlavní autori:	Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 04.08.2025
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!