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
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
|
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/
Last update: August 13, 2003 (Riccardo
Focardi)