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

Toulouse, France, 26-27 August  2004.

FAST2004 is a satellite 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"


The second international Workshop on Formal Aspects in Security & Trust
(FAST2004 - www.iit.cnr.it/FAST2004) aims at continuing the successful
efforts of FAST 2003 (www.iit.cnr.it/FAST2003) for the aggregation of
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:

- Security and trust policy models
- Security protocol design and analysis
- Formal 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

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


 e-mail: fast2004@iit.cnr.it 
 tel: +39 050 315 2646
 fax: +39 050 315 2593

Latest updates about FAST 2004 wiil be regularly posted to
security@fosad.org (a mailing list for the scientific community
interested in computer security)


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
Frederic Cuppens, ENST Bretagne
Sandro Etalle, University of Twente
Simon Foley, University College Cork
Roberto Gorrieri, University of Bologna
Valerie Issarny, INRIA
Yucel Karabulut, SAP
Christian Jensen, DTU
Andrew Jones, King's College (London)
Audun Josang, DSTC
Nenghui 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 Sto/len, SINTEF
Yao-Hua Tan, Free University of Amsterdam
William H. Winsborough, George Mason University


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

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

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

FAST2004 proceedings will be published by Kluwer Academic Press,
the IFIP official publisher. Selected papers will be invited for possible
publication on a special issue of the International Journal of Information Security (IJIS).