WORKSHOP OVERVIEW

With the increasing use of digital communication, network-based applications and mobile code, software, system and data security are key issues affecting everybody, from individuals to industry and governments.

Of course formal frameworks are of fundamental interest to model, analyse and prove security concerns. Many such frameworks have been used for these purposes, either first or higher-order, automatic or assisted. For example, formal theories to validate security policies have used first-order theorem provers, purpose-built logics, or flow-analysis.

Rewriting techniques have been successfully applied to many domains in the last 20 years. They have had deep influence in the development of computational models, programming and specification languages, theorem provers and proof assistants. Another interest of the rewriting framework is its expressivity as rewriting elegantly encompasses several computation paradigms, including functional, logic, imperative and concurrent ones.

Recently, rewriting techniques have also been fruitfully used to develop powerful results on security. For example, for performing validations on policy specifications, analysis of cryptographic protocols and to specify security policies controlling information leakage, to mention just a few. The theory of rewriting can provide a formal basis for the study of a broad range of security issues, ranging from the specification, implementation, and validation of access control policies, to the analysis of logs and the development of tools for intrusion detection.

In this context, the aim of this workshop is to bring together researchers who are currently working in the area of rewriting and security experts, in order to foster their interaction and develop future collaborations in this area, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

• Deadline for submission to post-workshop proceedings: 16 October 2006
• Notification: 15 December 2006
• Final versions due: 30 January 2007

Horatiu Cirstea

Université Nancy II & LORIA

Horatiu.Cirstea@loria.fr

Maribel Fernández

King's College London

maribel@dcs.kcl.ac.uk

Claude Kirchner

INRIA & LORIA

Claude.Kirchner@loria.fr

For further information consult the ICALP 2006 web site: http://icalp06.dsi.unive.it/