Zur Information. Gruss, Reitenspiess Dr. Manfred Reitenspiess Director Business Development RTP 4 Continuous Services Fujitsu-Siemens Computers Otto-Hahn-Ring 6 Muenchen D-81739 Germany Telephone +49 89 63642393 Telefax +49 89 63642393 Email mailto:manfred.reitenspiess@fujitsu-siemens.com Internet http://www.fujitsu-siemens.com -- RTP4CS -------- RTP 4 Continuous Services --------- RTP4CS --

-----Original Message----- From: Peter Ryan [mailto:Peter.Ryan@newcastle.ac.uk] Sent: Thursday, November 07, 2002 7:03 PM Subject: WITS'03

------------------------------------------------------------------ * * * Workshop on Issues in the Theory of Security (WITS'03) * * April 5 - 6, 2003, Warsaw, Poland * * co-located with ETAPS'03 <http://www.mimuw.edu.pl/etaps03/> * --------------------------------------------------------------------

OVERVIEW of WITS

WITS is the offical workshop organised by the IFIP WG 1.7 http://www.dsi.unive.it/IFIPWG1_7/index.html on "Theoretical Foundations of Security Analysis and Design", established to promote the investigation on the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications. The members of WG hold their annual workshop as an open event to which all researchers working on the theory of computer security are invited. This is the third workshop of the series, and is organised in cooperation with ACM SIGPLAN and GI working group FoMSESS.

Extended abstracts of work (accepted after selection and) presented at the Workshop are collected and distributed to the participants. There will be no formally published proceedings; however, selected papers will be invited for submission to a special issue of the Journal of Computer Security.

Suggested submission topics include:

* formal definition and verification of the various aspects of security: confidentiality, privacy, 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 code security, including mobile code security; * formal analysis and design for prevention of denial of service. * security in real-time/probabilistic systems * security in coordination languages

IMPORTANT DATES

Paper Submission: 31 December 2002 Author Notification: 10 February 2003 Final version due: 3 March 2003 Workshop: 5-6 April 2003

PROGRAM COMMITTEE

David Basin, Univeristy of Freiburg Pierpaolo Degano, Università di Pisa Riccardo Focardi, Università di Venezia Dieter Gollmann, Microsoft Research Li Gong, Sun Microsystems Roberto Gorrieri (chair), Università di Bologna Joshua Guttman, MITRE Chris Hankin, Imperial College Jan Jürjens, Munich University of Technology Gavin Lowe, Oxford University Cathy Meadows, Naval Research Laboratory Jon Millen, SRI International Peter Ryan, University of Newcastle Thomas Santen, Technical University of Berlin Steve Schneider, Royal Holloway, University of London

SUBMISSION INSTRUCTIONS

Authors are invited to submit an *extended abstract*, up to 5 pages long, with 11pt or larger font and reasonable margins and line spacing. Submissions departing from the instructions above are rejected independently of their technical merit. Authors have to submit through the web http://www.cs.unibo.it/WITS2003/ Alternatively, they may e_mail a *.ps *file. If necessary, they may mail a single hard copy of their paper to the program chair; in the last case, please allow ample time for delivery. Submissions should have the author's full name, address, fax number, and e-mail address.

FURTHER INFORMATION The official web page of the conference is at the url http://www.dsi.unive.it/IFIPWG1_7/wits2003.html Contact person : Roberto Gorrieri Dipartimento di Scienze dell'Informazione Mura Anteo Zamboni 7, I-40127 Bologna, Italy tel: +39-051-2094509, fax: +39-051-2094510 e-mail: gorrieri@cs.unibo.it http://www.cs.unibo.it/~gorrieri --