We wish to invite you to participate to the workshop, whose 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.

Topics include, but are not limited to:

• Formal definition and verification of security properties
• Formal analysis and design of cryptographic protocols
• Modeling information flow
• Formal techniques for (mobile) code security
• Security in real-time/probabilistic systems
• Llanguage-based security
• Theory and application of policy languages and trust management

One of the goals of the workshop is to bring together the part of the European community working on security. It is open to anyone.

The workshop will take place in Pisa, Tuscany, Italy on May 18th 2006 and it will be co-located with iTrust2006.

If you are interested in giving a talk, please send an email before April 7th to artist2-sw@iit.cnr.it, indicating a title, a short abstract (one or two paragraphs) and whether you intend to give a long ( 40-50 minutes) or a short ( 10-20 minutes) talk.

Réalisation Axome - Création de sites Internet