Paper Info
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 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.
Year
DOI
Venue
2018
10.1007/978-3-319-74947-1_23
Lecture Notes in Computer Science
Keywords
DocType
Volume
ICS,Power grid,SCADA,Mealy machine,IEC-104
Conference
10740
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Max Kerkers110.69
Justyna J. Chromik200.34
Anne Remke317523.96
Boudewijn R. Haverkort41205117.45