Provably Secure Networks: Methodology and Toolset for Configuration Management

Cornelius Diekmann. Provably Secure Networks: Methodology and Toolset for Configuration Management. PhD thesis, Technical University Munich, Germany, 2017. [doi]

Abstract

Abstract is missing.