An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott

Browse the full FMICS paper archive.