Towards Automated Attack Discovery in SDN Controllers Through Formal Verification

Yuan, Bin ; Zhang, Chi ; et al.

In: IEEE Transactions on Network and Service Management ; page 1-1 ; ISSN 1932-4537 2373-7379, 2024

Online academicJournal

Zugriff:

Volltext

Titel:	Towards Automated Attack Discovery in SDN Controllers Through Formal Verification
Autor/in / Beteiligte Person:	Yuan, Bin ; Zhang, Chi ; Ren, Jiajun ; Chen, Qunjinming ; Xu, Biang ; Zhang, Qiankun ; Li, Zhen ; Zou, Deqing ; Zhang, Fan ; Jin, Hai ; Hubei Province Key R&D Technology Special Innovation Project ; National Key R&D Plan of China ; Wuhan Applied Foundational Frontier Project ; National Natural Science Foundation of China
Link:	https://doi.org/10.1109/tnsm.2024.3386404 Volltext
Zeitschrift:	IEEE Transactions on Network and Service Management ; page 1-1 ; ISSN 1932-4537 2373-7379, 2024
Veröffentlichung:	Institute of Electrical and Electronics Engineers (IEEE), 2024
Medientyp:	academicJournal
DOI:	10.1109/tnsm.2024.3386404
Schlagwort:	Electrical and Electronic Engineering Computer Networks and Communications
Sonstiges:	Nachgewiesen in: BASE Sprachen: unknown Document Type: article in journal/newspaper Language: unknown Rights: https://creativecommons.org/licenses/by-nc-nd/4.0/

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.