Security and Privacy of Distributed Object Systems

This task is focusing on the security and privacy of distributed systems. In particular we will consider privacy aspects related to GDPR. In order to consider distributed systems at a high level of abstraction we will consider active object systems. This concurrency model combines two fundamental paradigms the object-oriented one and the actor model. The active object systems gives high-level modeling of distributed concurrent object systems. The project will involve implementation work and programming in Maude.

1  Description
This task is focusing on the security and privacy of distributed systems. In
particular we will consider privacy aspects related to GDPR. In order to
consider distributed systems at a high level of abstraction we will consider
active object systems. This concurrency model combines two fundamental
paradigms the object-oriented one and the actor model. The active object
systems gives high-level modeling of distributed concurrent object systems.
The project will involve implementation work and programming in
Maude.


2  Number of students
There is room for one to three students in the project, where each will have a
different focus. One focus is the analysis of security and privacy properties,
considering both static and runtime analysis. Another focus is the runtime
system and prototyping.


3  Desired requirements
Knowledge of rewriting logic/Maude is desired, for instance as provided by
the course IN2100 – Logic for System Analysis (given each spring).

Emneord: #security #privacy #tool-support
Publisert 20. okt. 2020 11:16 - Sist endret 20. okt. 2020 11:16

Veileder(e)

  • Olaf, Lizeth and Chinmayi

Omfang (studiepoeng)

60