1st International School On
Foundations Of Security
Analysis And Design
18-30 September 2000, Bertinoro,
||May 15, 2000
||June 30, 2000
||July 31, 2000
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 or young researchers that intend
to approach the field. The school covers two weeks (from monday 18 to saturday
30, september 2000) and alternates four lecturers per week on monographic
courses of about 6/8 hours each. Saturdays are reserved for presentations
given by those participants that intend to take advantage of the audience
for discussing their current research in the area. The school is organised
at the Centro Residenziale Universitario of the University of Bologna,
situated in Bertinoro (see here
how to reach Bertinoro), a small village on a scenic hill with a wonderful
between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the
The school offers eight main courses, each composed of 3/4
seminars (on different days), each seminar of 2 hours. In alphabetic
order, the eight main courses are the following:
Further short courses (to be completed):
A brief curriculum vitae of the speakers and a program of
the lectures are available HERE.
Li Gong (Javasoft
- Sun Microsystems, Palo Alto)
Andrew D. Gordon (Microsoft
Nominal Calculi for Security and
(University of Bologna) and
(University of Venezia)
Classification of Security Properties
Joshua Guttman (Mitre,
Security Goals: Packet trajectories
and strand spaces
Peter Ryan (SRI, Cambridge)
Mathematical Models of Computer
Samarati (University of Milano)
Access Control: Policies, Models,
Architectures and Mechanisms
(Naval Research Lab, Washington)
The Logic of Security Protocols
Moti Yung (CertCo
Inc., New York)
Cryptographic Technology and
Protocols in E-Commerce
At the summerschool course material will be provided (transparencies,
The tutorials will be made available as a volume in the
Lecture Notes of Computer Science series published by Springer.
During the course, the following book will be distributed:
``INSIDE JAVA 2 PLATFORM SECURITY: ARCHITECTURE, API DESIGN, AND IMPLEMENTATION''
, Addison-Wesley, 1999.
The scientific school director is Roberto Gorrieri (email@example.com).
The administrative directors are Andrea Bandini and Roberta Poggi
The school is directed to PhD students and young researchers.
In order to be really effective, at most 45 participants will be admitted
to the lectures. Prospective participants should send an application
to the address below, together with a recommendation letter, by May 15,
2000. Notification of accepted applicants will be posted by June
30, 2000. Registration to the school is due by July 31, 2000.
Applications should be sent to:
|Dipartimento di Scienze dell'Informazione
|Mura Anteo Zamboni 7, I-40127 Bologna, Italy
||Corso Diaz 43, I-47100 Forli, Italy
||tel: +39-0543-35180 fax: +39-0543-450204
A limited amount of grants will be provided to cover part
of the expenses. Applications are pending to EU for european young researchers
and to UNESCO for prospective participants from less favoured countries.
Please, include your request with the application.
Accommodation fee is 750 Euro and covers costs for the whole period in single room,
half board (breakfast and lunch). Registration fee is 550 Euro and includes
didactical material from the lecturers. Please, fill in the form (ps
and text available)
and send it to Roberto Gorrieri (by e-mail: firstname.lastname@example.org)
and to Andrea Bandini (by mail or fax). Note that the above form contains also the
conditions of payment.
Requests of information on the school, grants and applications
should be addressed to email@example.com
,while information on organisation (address, how to reach us, etc...) can be
requested by e-mail to firstname.lastname@example.org.
Under the auspices of