WITS '00, Workshop on Issues in the Theory of Security,
Geneva, Switzerland, 7-8 July 2000 (Submissions due: 15 April 2000)

The members of THE IFIP WG 1.7 on "Theoretical Foundations of Security
Analysis and Design" will hold their annual workshop as an open event
to which all researchers working on the theory of computer security
are invited.
The W/S will be co-located with ICALP '00 (http://cuiwww.unige.ch/~icalp/).
Its program will encourage discussions by all attendees, both during
and after scheduled presentations on participants' ongoing work.

 
Researchers are invited to submit abstracts of original work on topics in
the spirit of the workshop.  Possible topics for submitted papers include,
but are not limited to:
   - 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;
   - formal analysis and design for prevention of denial of service.

Extended abstracts of work presented at the Workshop will be
collected and distributed to the participants; no proceedings are
foreseen for this year's workshop.

Details on the conference and submission procedure can be found on the
conference web site at http://www.dsi.unive.it/IFIPWG1_7/wits2000.html,
or contact the program chair, Pierpaolo Degano, by email, degano@di.unipi.it,
or phone, +39 050 887257, or fax, +39 050 887226.