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
- 16:30-16:45
G. Bella - Welcome and Opening Remarks
- 16:45-17:15
Alessia Ciraudo -
Formal Analysis of Security Policies
- 17:15-17:45
Salvatore Rapisarda - Trust Models for Flat
Environments
- 17:45-18:00
Break
- 18:00-18:30 Casimiro
Greco - Analysis of
Attacks to Multi-Protocols
- 18:30-19:00 Daniele
Spagnulo - Risk Assessment for Security Economics
- 19:00-19:45 Open
discussion with the speakers
Workshop Location
16th December 2005, Aula 24, 4:30pm, Dipartimento di
Matematica e Informatica,
Università di Catania, ITALY.