[security] DEADLINE THIS FRIDAY: IFIP WITS @ ETAPS 06 (6th International Workshop on Issues in the Theory of Security)



[security] DEADLINE THIS FRIDAY: IFIP WITS @ ETAPS 06 (6th International Workshop on Issues in the Theory of Security)

From: Jan Ju''rjens ^lt;juerjens@in.tum.de>
Date: Wed 21 Dec 2005 - 07:04:26 GMT
Message-ID: <43A8FE7A.3030707@in.tum.de>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

[If you receive multiple copies, we do apologize for the annoyance
caused, but it shows that the event is particularly relevant to you
since you subscribe multiple related mailing-lists.]

Final call for papers IFIP WITS @ ETAPS 06:
PAPER SUBMISSION DEADLINE: Fri 23rd Dec 2005

            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)
                           http://www4.in.tum.de/~wits06

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).

Topics

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
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;
    * formal foundations of policy languages.

Important Dates

Paper submission deadline: Fri 23 December 2005
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
their
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






-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFDqP55hISmLyQq8B8RAri9AKCom2Dmo8BfDa+KWobHT2fWsEhZkQCffZec
nRSV4alp1MXyYF8I4cGT0/0=
=e0f8
-----END PGP SIGNATURE-----
Received on Wed Dec 21 07:04:31 2005