Abstract | ||
---|---|---|
•Flow Integrity ensures that all messages are received unaltered and in the correct order.•Flow Integrity is crucial in industrial control systems.•Flow Integrity can be formally verified using TAMARIN.•A version of MODBUS suffers from a weakness, as well as OPC-UA if sequence number overflows appear.•The weakness can be reproduced on a real OPC-UA implementation. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.cose.2018.09.018 | Computers & Security |
Keywords | Field | DocType |
Security protocols,Industrial systems,SCADA,Symbolic model,Automated verification,Flow integrity | Authentication,Special needs,Confidentiality,Cryptographic protocol,Computer science,Information technology,Computer security,Stuxnet,Modbus,The Internet | Journal |
Volume | ISSN | Citations |
86 | 0167-4048 | 0 |
PageRank | References | Authors |
0.34 | 17 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jannik Dreier | 1 | 121 | 13.70 |
Maxime Puys | 2 | 10 | 3.71 |
Marie-Laure Potet | 3 | 190 | 21.34 |
Pascal Lafourcade | 4 | 569 | 58.37 |
Jean-Louis Roch | 5 | 211 | 26.40 |