Title: The MoveSpaci Project and an Actor Model for I-MAKS

Summary: In the MoveSpaci project we assume that a system
has been modeled, implemented and that some security
properties have been proven for the model. We now try to
find a way to maintain these security guarantees for the
implementation. In particular, we want to find a
methodology that makes it as easy as possible to show the
security properties for the implementation.

In this talk I will present the MoveSpaci project but will
focus on the system model which is based on actors. I will
show how we integrated these actors into I-MAKS, which
additions hade to be made and where our current problems
lie.