Login
- Title:
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations
- Author(s):
- Diekmann, Cornelius; Korsten, Andreas; Carle, Georg
- Book / Congress title:
- 2nd International Workshop on Management of SDN and NFV Systems, {manSDN/NFV}
- Publisher address:
- Barcelona, Spain
- Year:
- 2015
- Month:
- nov
- Fulltext / DOI:
- doi:10.1109/CNSM.2015.7367384
BibTeX