A Tool for Generating Automata of IEC60870-5-104 Implementations

Max Kerkers; Justyna Joanna Chromik; Anne Katharina Ingrid Remke; Boudewijn R.H.M. Haverkort

A Tool for Generating Automata of IEC60870-5-104 Implementations

Max Kerkers, Justyna Joanna Chromik, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

Research output: Contribution to conference › Paper › Other research output

Abstract

Power distribution networks are often controlled using the communication protocol IEC 60870-5-104 (IEC-104). While a specification exists, not every device implementing this protocol, actually follows this specification. We present \textit{mealy104}, a tool that infers finite-state automata from IEC-104 implementations and use it on a real device implementing IEC-104, comparing it to the protocol standard. We use the tool to show that implementations do deviate from the specification.

Original language	English
Publication status	Published - 2018
Externally published	Yes

Keywords

IEC 60870-5-104
ICS
power grid
SCADA
Mealy machine
IEC 104

Cite this

@conference{8ea77c29accd4fc8a9707a88bc262003,

title = "A Tool for Generating Automata of IEC60870-5-104 Implementations",

abstract = "Power distribution networks are often controlled using the communication protocol IEC 60870-5-104 (IEC-104). While a specification exists, not every device implementing this protocol, actually follows this specification. We present \textit{mealy104}, a tool that infers finite-state automata from IEC-104 implementations and use it on a real device implementing IEC-104, comparing it to the protocol standard. We use the tool to show that implementations do deviate from the specification.",

keywords = "IEC 60870-5-104, ICS, power grid, SCADA, Mealy machine, IEC 104",

author = "Max Kerkers and Chromik, {Justyna Joanna} and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.}",

year = "2018",

language = "English",

}

TY - CONF

T1 - A Tool for Generating Automata of IEC60870-5-104 Implementations

AU - Kerkers, Max

AU - Chromik, Justyna Joanna

AU - Remke, Anne Katharina Ingrid

AU - Haverkort, Boudewijn R.H.M.

PY - 2018

Y1 - 2018

N2 - Power distribution networks are often controlled using the communication protocol IEC 60870-5-104 (IEC-104). While a specification exists, not every device implementing this protocol, actually follows this specification. We present \textit{mealy104}, a tool that infers finite-state automata from IEC-104 implementations and use it on a real device implementing IEC-104, comparing it to the protocol standard. We use the tool to show that implementations do deviate from the specification.

AB - Power distribution networks are often controlled using the communication protocol IEC 60870-5-104 (IEC-104). While a specification exists, not every device implementing this protocol, actually follows this specification. We present \textit{mealy104}, a tool that infers finite-state automata from IEC-104 implementations and use it on a real device implementing IEC-104, comparing it to the protocol standard. We use the tool to show that implementations do deviate from the specification.

KW - IEC 60870-5-104

KW - ICS

KW - power grid

KW - SCADA

KW - Mealy machine

KW - IEC 104

M3 - Paper

ER -

A Tool for Generating Automata of IEC60870-5-104 Implementations

Abstract

Keywords

Fingerprint

Cite this