@misc{indiciaeacf31ccda694,
  title = {Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations},
  author = {Cornelius Diekmann and Andreas Korsten and Georg Carle},
  year = {2016},
  doi = {10.1109/cnsm.2015.7367384},
  url = {https://arxiv.org/abs/1604.00273},
  note = {Source identifier: 1604.00273}
}