Call for Papers
2003 IFIP WG 1.7, ACM SIGPLAN and GI
FoMSESS
Workshop on Issues
in the Theory of Security (WITS'03)
April 5 - 6, 2003, Warsaw, Poland
co-located with ETAPS'03
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 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
|
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, Münich
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. 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
Last update: November 5, 2002 (Riccardo
Focardi)