Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access

Academic Article

Publication Date:

2011

Iris type:

01.01 Articolo in rivista

Keywords:

Formal techniques; vulnerability analysis; security; industrial networks; fieldbuses

List of contributors:

Authors of the University:

CHEMINOD MANUEL

Handle:

Published in:

Journal