Data di Pubblicazione:
2017
Abstract:
Lo studio e lo sviluppo di metodologie, strumenti
e dispositivi per la protezione delle reti informatiche
da minacce ed attacchi condotti attraverso il
cyber-spazio sono da tempo di sicuro interesse in
settori tradizionalmente dedicati ad applicazioni office e/o
business, ma stanno acquisendo progressivamente rilievo
anche in contesti industriali che utilizzano infrastrutture
di comunicazione distribuite.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
network security; system-level analysis; model checking; industrial networks
Elenco autori:
Maggiora, Marcello; Durante, Luca; Valenzano, Adriano
Link alla scheda completa: