[Apologies if you receive multiple copies of this message] CALL FOR PAPERS 2004 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'04) April 3 - 4, 2004, Barcelona, Spain co-located with ETAPS'04 http://www.dsi.unive.it/IFIPWG1_7/wits2004.html ---------------------------------------------------------------------- OVERVIEW OF WITS WITS is the offical workshop organised by the IFIP WG 1.7 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 fourth 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 * language-based security IMPORTANT DATES Paper Submission: 15 December 2003 Author Notification: 25 January 2004 Final version due: 29 February 2004 Workshop: 3-4 April 2004 PROGRAM COMMITTEE David Basin, ETH Zurich Pierpaolo Degano, Università di Pisa Claudia Eckert, TU Darmstadt and Fraunhofer SIT Riccardo Focardi, Università di Venezia Dieter Gollmann, TU Hamburg-Harburg, Germany Roberto Gorrieri, 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 (chair), University of Newcastle Thomas Santen, Dresden University of Technology Steve Schneider, Royal Holloway, University of London Paul Syverson, Naval Research Laboratory SUBMISSION INSTRUCTIONS Authors are invited to submit an extended abstract, up to 12 pages long, in LNCS style or 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. 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/wits2004.html Contact person: Peter Ryan School of Computing Science, University of Newcastle Claremont Tower, Newcastle upon Tyne NE1 7RU, UK tel: +44 0191 222 8788, fax: +44 0191 222 8972 e-mail: peter.ryan@ncl.ac.uk http://www.csr.ncl.ac.uk/