"Least-Privilege Zero-Trust Enforcement for IEC 61850: Supplementary Material"

IEEE DataPort 2026 Dataset Open access

Read full text
Authors: Mohammed Akram, Livinus Obiora Nweke
DOI: 10.21227/7rbr-c597
Cited by: 0

Abstract

"This artifact provides an SMT-based reachability verifier for the deployed Open vSwitch\/OpenFlow microsegmentation rules. The verifier checks that (i) authorized IEC 61850 GOOSE\/SV flows are reachable across the correct switch ports, and (ii) unauthorized flows (including attacker-originated traffic) are non-reachable toward protected endpoints."

Fields of Study & Subjects

Smart Grid Security and Resilience Security and Verification in Computing Network Security and Intrusion Detection

Publication details

Journal / source
IEEE DataPort
Publication date
6 February 2026
Document type
Dataset