Zanasi, Claudio (2025) Improving zero trust microsegmentation design through formal verification, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 37 Ciclo.