Formal Analysis of Security Properties on the OPC-UA SCADA Protocol.

Maxime Puys, Marie-Laure Potet, Pascal Lafourcade

Browse the full SAFECOMP paper archive.