mWSF05 - The 2005 miniWorkshop on Security Frameworks
"Security Assurance"

  16 December 2005
Dipartimento di Matematica e Informatica
Università di Catania


mWSF05 - The 2005 edition

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.

Workshop Programme

Workshop Location
16th December 2005, Aula 24,  4:30pm
, Dipartimento di Matematica e Informatica, Università di Catania, ITALY.


Giampaolo Bella / giamp@dmi.unict.it