Difference between revisions of "IoTSec:T2.3"
From its-wiki.no
Josef.Noll (Talk | contribs) |
m |
||
Line 7: | Line 7: | ||
|Objective=This task will establish formal technologies for semantic provability | |Objective=This task will establish formal technologies for semantic provability | ||
}} | }} | ||
+ | |||
+ | = 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. | ||
+ | |||
+ | |||
+ | |||
+ | = Detailed work = | ||
+ | |||
+ | <!-- = earlier input = | ||
= Contributions = | = Contributions = | ||
Olaf: I may contribute to the last part, focusing on automated deductive reasoning, and follow the other two points - ''leadership?'' | Olaf: I may contribute to the last part, focusing on automated deductive reasoning, and follow the other two points - ''leadership?'' | ||
Josef: Reasoning over models | Josef: Reasoning over models | ||
+ | |||
+ | --> | ||
+ | |||
+ | == References == | ||
+ | <references> |
Revision as of 13:09, 27 August 2015
Security in IoT for Smart Grids | |||||||
---|---|---|---|---|---|---|---|
|
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
Title | Due month | Lead partner | Editor | Dissemination level | |
---|---|---|---|---|---|
D2.3.1 | Semantic Provability Framework (draft) | M24 | Ifi | Olaf Owe | Public |
D2.3.2 | Semantic Provability Framework (final) | M36 | Ifi | Olaf Owe | Public |
D2.3.3 | Semantic Provability applied to Smart Grids | M48 | Ifi | Olaf Owe | Public |
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.
Detailed work
References