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.
- Owe, Olaf; Ramezanifarkhani, Toktam & Fazeldehkordi, Elahe (2017). Hoare-style Reasoning from Multiple Contracts. Lecture Notes in Computer Science. ISSN 0302-9743. 10510, s 263- 278 . doi: 10.1007/978-3-319-66845-1_17
- Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems, In Marina Walden (ed.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISBN 978-952-12-3608-2. Kapittel. s 19 - 21
- Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems.