Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations.

Cornelius Diekmann, Andreas Korsten, Georg Carle

Browse the full CNSM paper archive.