Vis enkel innførsel

dc.contributor.authorNweke, Livinus Obiora
dc.contributor.authorWeldehawaryat, Goitom Kahsay
dc.contributor.authorWolthusen, Stephen
dc.date.accessioned2020-08-25T10:55:58Z
dc.date.available2020-08-25T10:55:58Z
dc.date.created2020-04-30T08:55:43Z
dc.date.issued2020
dc.identifier.issn2165-0608
dc.identifier.urihttps://hdl.handle.net/11250/2673894
dc.description.abstractAdversarial models are well-established for cryptographic protocols, but distributed real-time protocols have requirements that these abstractions are not intended to cover. The IEEE/IEC 61850 standard for communication networks and systems for power utility automation in particular not only requires distributed processing, but in case of the generic object oriented substation events and sampled value (GOOSE/SV) protocols also hard real-time characteristics. This motivates the desire to include both quality of service (QoS) and explicit network topology in an adversary model based on a π-calculus process algebraic formalism based on earlier work. This allows reasoning over process states, placement of adversarial entities and communication behaviour. We demonstrate the use of our model for the simple case of a replay attack against the publish/subscribe GOOSE/SV subprotocol, showing bounds for non-detectability of such an attack.en_US
dc.language.isoengen_US
dc.titleAdversary Model for Attacks Against IEC 61850 Real-Time Communication Protocolsen_US
dc.typePeer revieweden_US
dc.typeJournal articleen_US
dc.description.versionacceptedVersionen_US
dc.source.journalIEEE Conference Publicationen_US
dc.identifier.doi10.1109/DRCN48652.2020.1570604241
dc.identifier.cristin1808753
dc.description.localcode© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.en_US
cristin.ispublishedfalse
cristin.fulltextpostprint


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel