23/01/2009, 16:15 — 17:15 — Room P3.10, Mathematics Building
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.
Joint Session with Logic and Computation Seminar
