IoTSec:T2.3

= Detailed objectives = The main objective is to give guarantees for relevant security properties. By utilizing automatic decision algorithms from  logic and formal methods we will build tool support for automated proofs. This will increase the robustness of the smart grid system. This includes: The work on security metrics and security properties will involve our partner prof. Issa Traore, University of Victoria, Canada.
 * formulating dependability and security requirements
 * usage of suitable metrics of system quality and behaviour
 * investigation of static and dynamic techniques.

= Detailed work = Initial work consists of investigation of the integration of  the semantic model  and provability mechanisms. The next phase of the work is development of automated  tools, while ensuring their usability in smart grid systems. This includes:
 * investigation of permitted and malicious actions
 * techniques for ensuring robustness and security properties
 * investigation of time-related and  probabilistic  methods.

= Expected results = This task has the following expected results:
 * has result::a minimum of 3 papers, including one journal paper (M12-36)
 * has result::a non-trivial case study (M12)
 * has result::a tool for semantic provability (M48)