Difference between revisions of "IoTSec:T2.3"
From its-wiki.no
Josef.Noll (Talk | contribs) (→Contributions) |
Josef.Noll (Talk | contribs) |
||
Line 4: | Line 4: | ||
|Workpackage=IoTSec:WP2 | |Workpackage=IoTSec:WP2 | ||
|Lead partner=Ifi | |Lead partner=Ifi | ||
− | |Partner=UNIK, | + | |Partner=UNIK, NR |
|Objective=This task will establish formal technologies for semantic provability | |Objective=This task will establish formal technologies for semantic provability | ||
}} | }} |
Revision as of 14:29, 17 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 |
Contributions
Olaf: I may contribute to the last part, focusing on automated deductive reasoning, and follow the other two points - leadership?
Josef: Reasoning over models