TY  - RPRT
TI  - Provably Secure Networks: Methodology and Toolset for Configuration Management
AU  - Cornelius Diekmann
PY  - 2017
UR  - https://arxiv.org/abs/1708.08228
ID  - 1708.08228
ER  -