[security] IFIP WITS @ ETAPS 06: DEADLINE 23.12.05 for the 6th International Workshop on Issues in the Theory of Security

[security] IFIP WITS @ ETAPS 06: DEADLINE 23.12.05 for the 6th International Workshop on Issues in the Theory of Security

From: Jan Ju''rjens ^lt;juerjens@in.tum.de>
Date: Sat 22 Oct 2005 - 16:22:19 BST
Message-ID: <435A592B.1010108@in.tum.de>
Hash: SHA1

2nd call for papers IFIP WITS @ ETAPS 06:

            2006 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
6th Intern. Workshop on Issues in the Theory of Security (WITS '06)
                      March 25-26 2006, Vienna, Austria
                           (co-located with ETAPS 2006)

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 the 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 sixth meeting of the series, and is organized in
cooperation with ACM SIGPLAN and the German Computer Society (GI)
working group FoMSESS.

There will be proceedings published as Issues in the Theory of Security
(publisher pending).


Suggested submission topics include:

    * formal definition and verification of security aspects, in
particular of
new properties arising in novel applications;
    * new techniques for the formal analysis and design of cryptographic
protocols and their namifold applications (e.g., electronic commerce);
    * information flow modelling and its application to the theory of
confidentiality policies, composition of systems, and covert channel
    * formal techniques for the analysis and verification of code
including mobile code security;
    * formal analysis and design for prevention of denial of service;
    * security in real-time/probabilistic systems;
    * language-based security;
    * formal foundations of policy languages.

Important Dates

Paper submission deadline: Fri 23 December 2005 (strict)
Author notification:              Fri 10 February 2006
Camera-ready version due: Fri 3 March (strict !)
Workshop                              25?26 March 2006

Program Committee (partly yet to be confirmed and extended)

    * Pierpaolo Degano, U, Pisa, Italy
    * Dieter Gollmann, TU Harburg, Germany
    * Roberto Gorrieri, U. Bologna, Italy
    * Joshua Guttman, MITRE, USA
    * Jan Jü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

Submission Instructions

Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference or workshop with proceedings. Authors are invited to submit
a paper up to 15 pages long, in .pdf (preferred) or Postscript
format in
the Springer LNCS format. Authors should submit through the web at the
URL http://www4.in.tum.de/~wits06 . In case of problems with submitting
your paper this way, please contact the Workshop Chair. Submissions
departing from the instructions above are rejected independently of
technical merit.

Workshop Chairs

    *Dieter Gollmann, TU Harburg
    *Jan Jürjens, TU München (contact: http://www4.in.tum.de/~juerjens )

- --
Dr. Jan Ju"rjens
Software & Systems Engineering, TU Mu"nchen  -  tel. +49 89 289-17338
http://www4.in.tum.de/~juerjens  -  mobile +49 179 8804051
- --
Out now: Secure Systems Development with UML (Springer-Verlag).
More info at: http://www.umlsec.org
Version: GnuPG v1.4.0 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

Received on Sat Oct 22 16:22:25 2005