Industry 4.0 is a new strategic industrial development that is changing the way business develop communication and management protocols on their networks. Software-Defined Networking (SDN) can help this revolutionary process but to make the most of its potential, more abstract and customizable development paradigms are needed. In this work we present a toolkit whose scope is to allow a system network administrator to implement and verify in a formal way security policies, in the context of an industrial network. The prototype of our tool suite is based on four application plug-ins of the ONOS controller. Our SDN-based toolkit is able to detect compromised network boxes as a result of bogus injected flow-rules, inner loops and black-holes (notoriously difficult to detect via normal network scans), flow-rule replacements or removal and other SDN controller exploitations that may compromise the forwarding activities. We argue that our set of tools is already effective despite being at its development infancy, and its design easily extensible to other use cases.

Melis, A., Berardi, D., Contoli, C., Callegati, F., Esposito, F., Prandini, M. (2018). A Policy Checker Approach for Secure Industrial SDN. Institute of Electrical and Electronics Engineers Inc. [10.1109/CSNET.2018.8602927].

A Policy Checker Approach for Secure Industrial SDN

Melis, Andrea
;
Berardi, Davide;Contoli, Chiara;Callegati, Franco;Prandini, Marco
2018

Abstract

Industry 4.0 is a new strategic industrial development that is changing the way business develop communication and management protocols on their networks. Software-Defined Networking (SDN) can help this revolutionary process but to make the most of its potential, more abstract and customizable development paradigms are needed. In this work we present a toolkit whose scope is to allow a system network administrator to implement and verify in a formal way security policies, in the context of an industrial network. The prototype of our tool suite is based on four application plug-ins of the ONOS controller. Our SDN-based toolkit is able to detect compromised network boxes as a result of bogus injected flow-rules, inner loops and black-holes (notoriously difficult to detect via normal network scans), flow-rule replacements or removal and other SDN controller exploitations that may compromise the forwarding activities. We argue that our set of tools is already effective despite being at its development infancy, and its design easily extensible to other use cases.
2018
2018 2nd Cyber Security in Networking Conference, CSNet 2018
1
7
Melis, A., Berardi, D., Contoli, C., Callegati, F., Esposito, F., Prandini, M. (2018). A Policy Checker Approach for Secure Industrial SDN. Institute of Electrical and Electronics Engineers Inc. [10.1109/CSNET.2018.8602927].
Melis, Andrea; Berardi, Davide; Contoli, Chiara; Callegati, Franco; Esposito, Flavio; Prandini, Marco
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/675820
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 16
social impact