Provably Secure Networks: Methodology and Toolset for Configuration Management

Cornelius Diekmann

Network administration is an inherently complex task, in particular with regard to security. Using the Isabelle interactive proof assistant, we develop two automated, formally veri…