An Actor-Based Approach for Security Analysis of Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott. An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. In Maurice H. ter Beek, Dejan Nickovic, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Volume 12327 of Lecture Notes in Computer Science, pages 130-147, Springer, 2020. [doi]

This author has not been identified. Look up 'Fereidoun Moradi' in GoogleThis author has not been identified. Look up 'Sara Abbaspour Asadollah' in GoogleIdentified as Ali Sedaghatbaf This author has not been identified. Look up 'Aida Causevic' in GoogleThis author has not been identified. It may be one of the following persons:

Marjan Sirjani

Look up 'Marjan Sirjani' in GoogleThis author has not been identified. Look up 'Carolyn L. Talcott' in Google

runs on WebDSL