Publication Date:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
network security; system-level analysis; model checking; industrial networks
List of contributors: