19 citations · 19 across the 1 of their papers we have counts for
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2019★ 19 cited
Agile Network Access Control in the Container Age
Cornelius Diekmann, Johannes Naab, Andreas Korsten +1
Linux Containers, such as those managed by Docker, are an increasingly popular way to package and deploy complex applications. However, the fundamental security primitive of networ…
cs.NI2016
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations
Cornelius Diekmann, Andreas Korsten, Georg Carle
In network management, when it comes to security breaches, human error constitutes a dominant factor. We present our tool topoS which automatically synthesizes low-level network co…