CRYSTAL framework: cybersecurity assurance for cyber-physical systems

DOI10.1016/J.JLAMP.2024.100965MaRDI QIDQ6561338zbMATH OpenFDO

Authors Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani

Publication date 25 June 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

model abstractionformal verificationruntime monitoringcyber-physical systems (CPS)attack detection systemtiny digital twin

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems
• On time actors
• Quantified event automata: towards expressive and efficient runtime monitors

This page was built for publication: CRYSTAL framework: cybersecurity assurance for cyber-physical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561338)