| KEYWORD |
Development of methodologies and tools for the verification and analysis of security and safety properties of industrial networks
keywords CRITICAL INFRASTRUCTURES PROTECTION, INDUSTRIAL NETWORKS, PROCESS CONTROL NETWORKS, SCADA SYSTEMS, SECURITY, SAFETY, POLICIES, MODELS, ANALYSIS TOOLS
Reference persons LUCA DURANTE
External reference persons Gianluca CENA (IEIIT/CNR, gianluca.cena@polito.it, tel. 011 090 5424)
Manuel CHEMINOD (IEIIT/CNR, manuel.cheminod@polito.it, tel. 011 090 5432)
Ivan CIBRARIO BERTOLOTTI (IEIIT/CNR, ivan.cibrario@polito.it, tel. 011 090 5426)
Adriano VALENZANO (IEIIT/CNR, adriano.valenzano@polito.it, tel. 011 090 5410)
Research Groups IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Description Nowadays the modern industrial networks (SCADA systems, process control networks, fieldbuses) are strictly connected to the corporate network and the Internet, thus making them subjected to the same threats and attacks. On the other hand, the functional requirements of the industrial networks and the serious consequences of attacks and faults (due to the harshness of the operating environment) necessitate a novel approach to security and safety.
The activity belongs to the challenging framework of a research project funded by a primary well-known Italian company, and can be carried out along the following lines (depending on the project needs and the candidate's skills):
' design and development of models for the description of the components of industrial networks and their interrelationship in the security and safety domains
' design and development of models for the specification of the security and safety requirements of industrial networks
' design and development of tools for the (semi)automatic off-line analysis and run-time management of security and safety properties of industrial networks
Deadline 12/03/2013
PROPONI LA TUA CANDIDATURA