IoTSec:T1.1

From its-wiki.no

Jump to: navigation, search
Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About
English-Language-icon.png

T1.1 Semantic Descriptions

Task Title Semantic description of infrastructure, attack detection, system view
WP IoTSec:WP1
Lead partner Ifi
Leader
Contributors UNIK, NR, NCE Smart
edit this task

Objective

This task will create the semantic descriptions for the infrastructure components and the attack surface, and thus establish the semantic model for the IoT System

Category:Task


Deliverables in T1.1 Semantic Descriptions

 TitleDue monthLead partnerEditorDissemination level
D1.1.1Semantic Description of InfrastructureM12IfiOlaf OwePublic
D1.1.2Semantic Description of Infrastructure (final)M24IfiOlaf OwePublic

Add Deliverable


Detailed objectives

This task will create the semantic descriptions for the infrastructure components and the attack surface, and thus establish the semantic model for the IoT System. The model will address security, privacy and dependability aspects, and will include

  • a formal semantics, giving precise descriptions of all parts of IoT systems
  • a semantic description of security functionality, and security discussion
  • tool support, allowing automatic analysis of a number of system properties
  • prototyping of essential parts of the model, supporting experimentation

Detailed work

The semantic model will represent an abstraction of an IoT System. Finding suitable abstractions is essential.

Interaction with all partners is needed to capture essential aspects. The model will be improved through experiments with early versions of the model.

One of the identified challenges is related to the terminology of dependability, being defined as a measure of a system's availability, reliability, and its maintainability [1]

Expected results

This task has the following expected results:

  • a minimum of 3 papers, including one journal paper (M12-36)
  • the completion of a PhD candidate within the project period (M48)
  • a non-trivial case study (M12)


Choosing a Case Study

See Discussions page IoTSec_talk:T1.1

References

  1. Wikipedia, https://en.wikipedia.org/wiki/Dependability