CRYSTAL framework: Cybersecurity assurance for cyber-physical systems

Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani. CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebr. Meth. Program., 139:100965, 2024. [doi]

Abstract

Abstract is missing.