Pregled bibliografske jedinice broj: 1203856
A Survey on Applications of Formal Methods in Analysis of SCADA Systems
A Survey on Applications of Formal Methods in Analysis of SCADA Systems // Critical Information Infrastructures Security 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers
Lausanne, Švicarska, 2021. str. 1-20 doi:10.1007/978-3-030-93200-8_6 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 1203856 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A Survey on Applications of Formal Methods in
Analysis of SCADA Systems
Autori
Mihael Marović, Ante Đerek, Stjepan Groš
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Critical Information Infrastructures Security 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers
/ - , 2021, 1-20
Skup
The 16th International Conference on Critical Information Infrastructures Security
Mjesto i datum
Lausanne, Švicarska, 27.09.2021. - 29.09.2021
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
SCADA, formal methods, verification, protocols
Sažetak
The goal of this survey is to establish how have the formal methods been applied to Supervisory Control and Data Acquisition (SCADA) systems in order to verify critical properties relevant to SCADA to a high degree of assurance. We analyze and dissect published research that attempts to formally specify and verify SCADA communication protocol or other components relevant and specific to SCADA systems. We identify areas that would benefit most from analysis by formal methods.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
