IoTSec:T2.3

From its-wiki.no

Revision as of 14:53, 27 August 2015 by Olaf (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About
English-Language-icon.png

T2.3 Semantic Provability

Task Title Formal technologies for semantic provability
WP IoTSec:WP2
Lead partner Ifi
Leader
Contributors UNIK, NR
edit this task

Objective

This task will establish formal technologies for semantic provability

Category:Task


Deliverables in T2.3 Semantic Provability

 TitleDue monthLead partnerEditorDissemination level
D2.3.1Semantic Provability Framework (draft)M24IfiOlaf OwePublic
D2.3.2Semantic Provability Framework (final)M36IfiOlaf OwePublic
D2.3.3Semantic Provability applied to Smart GridsM48IfiOlaf OwePublic

Add Deliverable


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:

  • formulating dependability and security requirements
  • usage of suitable metrics of system quality and behaviour
  • investigation of static and dynamic techniques.

The work on security metrics and security properties will involve our partner prof. Issa Traore, University of Victoria, Canada.

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:

  • a minimum of 3 papers, including one journal paper (M12-36)
  • a non-trivial case study (M12)
  • a tool for semantic provability (M48)


References