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

2015 11th International Conference on Network and Service Management (CNSM)

Author(s): Cornelius Diekmann ; Andreas Korsten ; Georg Carle
Publisher: IFIP
Publication Date: 1 November 2015
Conference Location: Barcelona, Spain
Conference Date: 9 November 2015
Page(s): 366 - 371
ISBN (CD): 978-3-9018-8278-4
ISBN (Electronic): 978-3-9018-8277-7
DOI: 10.1109/CNSM.2015.7367384

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 configurations... View More