Difference between revisions of "IoTSec:T1.1"
From its-wiki.no
Josef.Noll (Talk | contribs) |
m |
||
Line 26: | Line 26: | ||
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 <ref> Wikipedia, https://en.wikipedia.org/wiki/Dependability</ref> | 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 <ref> Wikipedia, https://en.wikipedia.org/wiki/Dependability</ref> | ||
− | = earlier input = | + | <!-- = earlier input = |
Olaf: interested in the modeling of infrastr., attacks, and system view. Extensions of the framework of Rewriting Logic might be interesting here. abstraction, probabilistic behavior | Olaf: interested in the modeling of infrastr., attacks, and system view. Extensions of the framework of Rewriting Logic might be interesting here. abstraction, probabilistic behavior | ||
− | + | --> | |
== References == | == References == | ||
<references> | <references> |
Revision as of 12:54, 27 August 2015
Security in IoT for Smart Grids | |||||||
---|---|---|---|---|---|---|---|
|
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
Title | Due month | Lead partner | Editor | Dissemination level | |
---|---|---|---|---|---|
D1.1.1 | Semantic Description of Infrastructure | M12 | Ifi | Olaf Owe | Public |
D1.1.2 | Semantic Description of Infrastructure (final) | M24 | Ifi | Olaf Owe | Public |
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]
References
- ↑ Wikipedia, https://en.wikipedia.org/wiki/Dependability