Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access

Manuel Cheminod, Alfredo Pironti, Riccardo Sisto. Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Industrial Informatics, 7(1):30-40, 2011. [doi]

Abstract

Abstract is missing.