FOSAD 2001: 2nd International School on Foundations of Security Analysis and Design, 17-29 September 2001, Bertinoro, Italy.

摘要

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 school covers two weeks (from Monday 17 to Saturday 29, September 2001) and alternates four lecturers per week.