[TYPES] FAST 2004: deadline extension

[Fabio Martinelli]

(* Apologizes for multiple copies *)

------------------------------------------------------------------------
2nd International Workshop on Formal Aspects in
       Security & Trust (FAST2004)

Toulouse, France, 26-27 August  2004.

FAST2004 is an event of 18th IFIP World Computer
Congress (WCC2004) and is under the auspices of IFIP WG 1.7
on "Theoretical Foundations of Security Analysis and Design"
------------------------------------------------------------------------


WEB SITE: www.iit.cnr.it/FAST2004


OVERVIEW OF FAST2004
The second international Workshop on Formal Aspects in Security & Trust
(FAST2004) aims at continuing the successful effort
of FAST2003 (www.iit.cnr.it/FAST2003) for fostering the cooperation
among researchers in the areas of security and trust.
The new challenges offered by the so-called ambient intelligence space as a
future paradigm in the information society demands for a coherent
framework of concepts, tools and methodologies to enable user'
trust&confidence on the underlying  computing infrastructure. These need
to address issues relating to both  guaranteeing security of the
infrastructure and the perception of the infrastructure  being secure. In
addition, user confidence on what is happening must be enhanced by
developing trust models effective but also easily comprehensible and
manageable by  users.
The complexity and scale of deployment of emerging ICT systems based on web
service and grid computing concepts also necessitates the investigation of
new, scalable and more flexible foundational models of enforcing pervasive
security across organizational borders and in situations where there is high
uncertainty about the  identity and trustworthiness of the participating
networked entities (including users, services and resources). The increasing
need of building activities sharing different resources managed with
different policies demand for new and business enabling models of trust
between members of virtual communities including virtual organizations that
span across the boundaries of physical enterprises and loosely structured
communities of individuals.

Suggested submission topics include, but are not limited to, formal
aspects of:

- Security and trust policy models
- Security protocol design and analysis
- Models of trust and reputation
- Distributed trust management systems
- Trust-based reasoning
- Digital assets protection
- Data protection
- Privacy and ID issues
- Information flow analysis
- Security and trust aspects in ubiquitous computing
- Validation/analysis tools
- Web/GRID service security/trust/privacy
- Language-based security
- Security risk assessment
- Case studies


PROGRAMME COMMITTEE

Alvaro Arenas, BITD-CCLRC
Elisa Bertino, University of Milan
Stefano Bistarelli, University of Pescara
Chiara Bodei, University of Pisa
Michael Butler, University of Southampton
David W. Chadwick, University of Salford
Joris Claessens, Microsoft (EMIC)
Veronique Cortier, LORIA
Frédéric Cuppens, ENST Bretagne
Sandro Etalle, University of Twente
Simon Foley, University College Cork
Roberto Gorrieri, University of Bologna
Valérie Issarny, INRIA
Yücel Karabulut, SAP
Christian Jensen, DTU
Andrew Jones, King's College (London)
Audun Josang, DSTC
Ninghui Li, Purdue University
Stephane Lo Presti, University of Southampton
Gavin Lowe, Oxford University
Emil Lupu, Imperial College (London)
Fabio Massacci, University of Trento
Catherine Meadows, NRL
Mogens Nielsen, University of Aarhus
Paddy Nixon, University of Strathclyde
Joachim Posegga, Hamburg University
Stefan Poslad, Queen Mary College
Peter Ryan, University of Newcastle
Babak Sadighi Firozabadi, SICS
Pierangela Samarati, University of Milan
Ketil Stølen, SINTEF
Yao-Hua Tan, Free University of Amsterdam
William H. Winsborough, George Mason University


INVITED SPEAKERS

Roberto Gorrieri, University of Bologna
Christos Nikolaou, University of Crete


IMPORTANT DATES

Paper Submission: 30 June 2004
Author Notification: 20 July 2004
Pre-proceedings version: 03 August 2004
Workshop: 26-27 August 2004
Post-proceedings version: 20 September 2004.


SUBMISSION INSTRUCTIONS

Papers presenting original contributions are sought.
Two formats of submissions are possible:

1) short papers, up to 5 pages,
2) full papers, up to 14 pages,

Submissions should clearly state their category (1 or 2).
Papers should be written with 11pt or larger font and
reasonable margins and line spacing. Author's full name,
address, and e-mail must appear in the cover page.

Accepted full papers will be published in the formal post-proceedings.
Short papers will only be published in the informal proceedings
distributed at the workshop. Simultaneous submission of full papers
to a journal or conference/workshop with formal
proceedings is not allowed.

The submission procedure is through the
web (see the web page www.iit.cnr.it/FAST2004).


PROCEEDINGS

FAST2004 proceedings will be published by Kluwer Academic Press, the IFIP
official publisher. A special issue on the International Journal
of Information Security  is planned, where some of the best papers of
FAST2004 will be invited for possible publication.


ORGANIZERs

Theo Dimitrakos, BITD-CLRC
Fabio Martinelli, IIT-CNR