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

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

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.