This year's edition "Security Assurance" is about how to get
reasonable assurances that security (whatever that means) indeed is
achieved. Do we get significant help from using formal methods? Can we
righteously assume that weird interactions of security protocol
sessions are impossible? Perhaps the answers lie in the economics of
securtiy: people would refrain from crime it its cost were prohibitive
in a broad sense. Or perhaps the answers are to be found within
reputational systems based on trust. This year's talks will provide the
necessary insights to build your own (yours, attendee!) answers.
16th December 2005, Aula 24, 4:30pm, Dipartimento di Matematica e Informatica, Università di Catania, ITALY.