IoTSec:T1.1

= 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

= Expected results = This task has the following expected results:
 * has result::a minimum of 3 papers, including one journal paper (M12-36)
 * has result:: the completion of a PhD candidate within the project period (M48)
 * has result::a non-trivial case study (M12)

= Choosing a Case Study = See Discussions page IoTSec_talk:T1.1