My PhD project will be central in the ongoing development of the project IoTSec towards Smart Infrastructures in e.g., Future Homes. It will focus on development of privacy-aware models and measures as well as on technologies for semantic provability and ontologies for Smart House.
The aims of this project are first to look at such semantic languages and logics and how they could be used to model privacy aspects in the new services coming inside the Smart House. The second objective will be to investigate relationships and automated tools for integrating Ontology models with Maude models and reasoning. We expect two-way interactions: both encoding an Ontology into Maude as well as requests from the Maude reasoning to the Ontology reasoner for powerful inferences to be used by the Maude execution model. The third objective is to relate the semantic model with privacy-awareness, e.g. allowing users to select application related privacy levels or policies. The fourth objective is to apply relevant results from language-based security and information flow and interact with the ongoing research in the PMA group on this theme.