Login
- Titel:
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations
- Autor(en):
- Diekmann, Cornelius; Korsten, Andreas; Carle, Georg
- Kongress- / Buchtitel:
- 2nd International Workshop on Management of SDN and NFV Systems, {manSDN/NFV}
- Verlagsort:
- Barcelona, Spain
- Jahr:
- 2015
- Monat:
- nov
- Volltext / DOI:
- doi:10.1109/CNSM.2015.7367384
BibTeX