Speaker / Predavač : Dr Neva Slani

Title / Naslov: Secure open networks

Abstract / Abstrakt:

By an open network we mean an internet-like network, a distributed system not comprehended in its totality (concerning the participants involved, their code and resources). We propose a process calculus model with a resource usage control achieved by types and a type system. The intended security for the protected part of the network comprises a safe resource usage, respecting their declared purpose, and an authorised one, respecting owner s access policies towards different users. We rely on the DPi language and its traditional type system, and due to partial knowledge of the network mix static and dynamic type-checking mechanisms.