Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling. Automating the Assembly of Security Assurance Case Fragments. In Ibrahim Habli, Mark Sujan, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings. Volume 12852 of Lecture Notes in Computer Science, pages 101-114, Springer, 2021. [doi]
Abstract is missing.