23. des. 2023 · Sikre IIoT-systemer
Sikker IIoT-transport og segmenteringskontroller: Invariatorientert spesifikasjon og verifikasjon
En formell engineeringanalyse av sikre IIoT-systemer med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.