Provably Secure Networks: Methodology and Toolset for Configuration Management
Networking and Internet Architecture
2017-08-29 v1 Cryptography and Security
Abstract
Network administration is an inherently complex task, in particular with regard to security. Using the Isabelle interactive proof assistant, we develop two automated, formally verified tools which help uncovering and preventing bugs in network-level access control configurations. Our first tool guides the process of designing networks from scratch. Our second tool facilitates the analysis of existing iptables configurations. Combined, the two form a powerful toolset.
Cite
@article{arxiv.1708.08228,
title = {Provably Secure Networks: Methodology and Toolset for Configuration Management},
author = {Cornelius Diekmann},
journal= {arXiv preprint arXiv:1708.08228},
year = {2017}
}
Comments
PhD thesis