CRYSTAL framework: cybersecurity assurance for cyber-physical systems

DOI10.1016/J.JLAMP.2024.100965MaRDI QIDQ6561338

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

Publication date: 25 June 2024

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

zbMATH Keywords

formal verificationmodel abstractionruntime monitoringcyber-physical systems (CPS)attack detection systemtiny digital twin

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• On time actors
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
• An O(m log n) algorithm for branching bisimilarity on labelled transition systems

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)