Sfoglia per Autore
Mostrati risultati da 1 a 10 di 10
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
2018-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis
2018-01-01 Munteanu, A.; Muradore, R.; Merro, M.; Fiorini, P.
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
2020-01-01 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement
2021-01-01 Munteanu, Andrei
Runtime Enforcement for Control System Security (Extended Abstract)
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Mostrati risultati da 1 a 10 di 10
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile