WITS'00
REGISTRATION
IMPORTANT DATES/DEADLINES:
-
Early registration:
7 June 2000
-
Workshop: 7,8 July 2000
OVERALL TOPIC AND FORMAT OF WORKSHOP:
The IFIP WG 1.7
on "Theoretical Foundations of Security Analysis and Design" was
recently established to investigate the theoretical foundations of security.
It aims to discover and promote new theoretical techniques in computer
security and new areas for applying formal techniques systematically in
the development of security related applications. The WG will hold
its first annual workshop as an open event; all researchers working on
the theory of computer security are invited. The program will encourage
discussion among all attendees, both during and after the scheduled presentations.
Extended abstracts on the ongoing work presented at the Workshop will be
collected and made soon available at the workshop home page.
The talks will mainly cover the following topics:
-
formal definition and verification of the various aspects of security:
confidentiality, integrity, authentication and availability;
-
new theoretically-based techniques for the formal analysis and design of
cryptographic protocols and their manifold applications (e.g., electronic
commerce);
-
information flow modelling and its application to the theory of confidentiality
policies, composition of systems, and covert channel analysis;
-
formal techniques for the analysis and verification of mobile code.
ORGANISING COMMITTEE:
Pierpaolo Degano (chair), Universita`
di Pisa, I
Riccardo Focardi, Universita`
di Venezia, I
Cathy Meadows, Naval Research
Laboratory, USA
Paul Syverson, Naval Research
Laboratory, USA
Joshua Guttman, Mitre, USA
VENUE:
The workshop is co-located with the ICALP '00 conference, which
will be held at the University of Geneva. The workshop will take
place at:
salle
159 - 1st floor
UNI
Dufour
24
rue General Dufour
(number 2 in the map you can find at http://cui.unige.ch/~icalp/download/map.ps
and in ICALP program)
Accommodations at a special ICALP rate have been reserved in a couple
of hotels and very inexpensive rooms will be available at the Student Housing.
Lunch will be served daily on campus and there will be morning and afternoon
refreshment breaks. For more details see ICALP
'00 .
CONTACT INFORMATION:
Web: http://www.dsi.unive.it/IFIPWG1_7/wits2000.html
Program chair: Pierpaolo Degano
e-mail: degano@di.unipi.it
telephone: +39 050 887257
fax: +39 050 887226
postal:
Dipartimento di Informatica
Universita' degli Studi di Pisa
Corso Italia, 40,
I-56125 PISA, Italia