Seminário Segurança de Informação 

23/01/2009, 16:15 — 17:15 — Sala P3.10, Pavilhão de Matemática
Luca Viganò, Università di Verona, Italy

Secure Pseudonymous Channels

In recent years, a number of works have appeared that provide formal definitions of the notion of channel and how different kinds of channels (e.g. authentic, confidential, secure) can be employed in security protocols and web services as a means of securing the communication. In this talk, I will present work that allows us to specify the properties of message exchanges over different kinds of channels, either as an assumption or as a goal, and where communicating agents can use their real names or some pseudonyms. Joint work with Sebastian Moedersheim.