KEYWORD |
Area Engineering
Development of a tool for security analysis in cyber-physical systems
Reference persons BARTOLOMEO MONTRUCCHIO
External reference persons luca.durante@ieiit.cnr.it
Description Development of a software tool for the analysis and verification of correct access control policy implementation in cyber physical systems.
The research activity will specifically focus on the definition of
a) a model for describing cyber-physical systems
b) a model for describing access control policies (extension to different policy specifications)
c) a set of algorithms for anomaly detection
d) the definition of techniques for the (semi)automatic fixing of detected anomalies
Keywords: security, cyber-physical systems, access control
Required skills: C programming, Bison and Flex (formal languages and compilers)
Deadline 12/04/2020
PROPONI LA TUA CANDIDATURA