TY  - RPRT
TI  - Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations
AU  - Cornelius Diekmann
AU  - Andreas Korsten
AU  - Georg Carle
PY  - 2016
DO  - 10.1109/cnsm.2015.7367384
UR  - https://arxiv.org/abs/1604.00273
ID  - 1604.00273
ER  -