Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Michael Durling"'
Autor:
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
Publikováno v:
Systems, Vol 9, Iss 1, p 18 (2021)
The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mec
Externí odkaz:
https://doaj.org/article/6825ed7474254a9d9534394cae950d01
Autor:
Baoluo Meng, Arjun Viswanathan, Saswata Saswata, William William, Abha Moitra, Kit Siu, Michael Durling
Attack-Defense Trees (ADTrees) are widely used in the security analysis of software systems. In this work, we introduce a novel approach to analyze system architecture models via ADTrees and to synthesize an optimal cost defense solution using MaxSMT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed45b643ea5e00ce4642c409a9f9bc15
https://doi.org/10.21203/rs.3.rs-2530611/v1
https://doi.org/10.21203/rs.3.rs-2530611/v1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00a36a991cb10a9573bce1ebe20d5f17
https://doi.org/10.1007/978-3-031-06773-0_40
https://doi.org/10.1007/978-3-031-06773-0_40