Automating the Assembly of Security Assurance Case Fragments

von Meng, Baoluo
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT

von Meng, Baoluo
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)