![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Formal Analysis of Security Properties on the OPC-UA SCADA Protocol
Skavhaug, Amund, Guiochet, Jérémie, Bitsch, FriedemannVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-45477-1_6
File:
PDF, 383 KB
english, 2016