Agenda

16 Nov 2016 09:45

Information flow in distributed systems: foundations and examples

Campus Scientifico via Torino - edificio ALFA, Sala Conferenze

prof. Joshua Guttman, Worcester Polytechnic Institute (Massachusetts, USA)

Abstract:
Information flow is a fundamental notion in security, serving to define secrecy goals, integrity goals, and also some functionality goals ("system informativeness"). Many distributed systems can be regarded as a set of computing elements connected by a fixed set of channels, i.e. as a graph. We describe how to define flow notions in this model, and how to rely on the graph structure of the system to establish information flow properties. We use networks, voting systems, and other examples to illustrate how this leads to compositional ways to design secure systems.

Lingua

L'evento si terrà in italiano

Organizzatore

Dottorato in Informatica

Cerca in agenda