Security in computer systems and networks is emerging as one of the most challenging research areas for the future. The main aim of the school is to offer a good spectrum of current research in foundations of security, ranging from programming languages to analysis of protocols, that can be of help for graduate students, young researchers from academia or industry that intend to approach the field.
The FOSAD series started in 2000 and last edition was in 2002. This year the school covers one week (from Monday 6 to Saturday 11, September 2004) and alternates monographic courses of 4/6 hours and short courses of 2/3 hours. We also encourage presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area.

All the participants will receive didactical material from the lecturers and relevant related literature, among which:

• Springer LNCS volume 2946 - a tutorial book collecting material presented in FOSAD 2001 and FOSAD 2002, which can be naturally viewed as the continuation of the tutorial book of FOSAD 2000, appeared as Springer LNCS volume 2171.
• Secure Systems Development with UML, by Jan Juerjens, Springer, 2004.

This year the school is followed by a satellite event: the 1st International Workshop on Views On Designing Complex Architectures (VODCA - 11 and 12 September 2004).

For further information about the school contact Alessandro Aldini.