Organizer Sandro Etalle

Date May 18th, 2006

Venue Pisa, Italy

Main Objectives Objecitve program will include invited talks, regular talks and plenty of time for discussion. The workshop will focus on the formal specification and verification of security properties, and in particular on the specification and formal verification of security protocols.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet