Call for Papers
2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
Workshop on Issues in the Theory of Security (WITS'05)

January 10-11, 2005, Long Beach, California: co-located with POPL'05

OVERVIEW OF WITS
WITS is the official 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. We are seeking sponsorship from ACM SIGPLAN, and plan 
to be organized in cooperation with GI working group FoMSESS. 
Proceedings from of the workshop will be published in the ACM Digital 
Library.  We are also planning a special issue of the Journal of 
Computer Security on the workshop.

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:	September 30, 2004
Author Notification:	10 November  2004
Final version due:        10 December 2004
Workshop:                   10-11  January 2005

PROGRAM COMMITTEE

Pierpaolo Degano, U, Pisa, Italy
Dieter Gollmann, TU Harburg, Germany
Roberto Gorrieri, U. Bologna, Italy
Joshua Guttman, MITRE, USA
Jan Ju:rjens, TU M√ľnchen, Germany
Gavin Lowe, Oxford, UK
John Mitchell, Stanford, USA
Peter Ryan,  U. of Newcastle, UK
Jean-Jacques Quisquater, UCL, Belgium
Steve Schneider, University of Surrey, UK



Further information may be found at the official web page of the 
conference at  http://chacs.nrl.navy.mil/wits05

Contact people :
    Catherine Meadows
    Workshop Chair
    US Naval Research Laboratory
    email:  wits05chair@itd.nrl.navy.mil

    Jan Ju:rjens
    Workshop Vice Chair
    TU Mu:nchen
    email: juerjens@in.tum.de