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

Cornelius Diekmann, Andreas Korsten, Georg Carle

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

5 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science