FAST 2004 is affiliated with 18th IFIP World Computer Congress(WCC2004) and sponsored by IFIP WG 1.7 "Theoretical Foundations of Security Analysis and Design"


The second international Workshop on Formal Aspects in Security and Trust (FAST2004) aims at continuing the successful effort of 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 demand for a coherent framework of concepts, tools and methodologies to enable user's 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 trustworthyness of the participating networked entities (including users, services and resources). The increasing need of building activities sharing different resources managed with different policies demands 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.




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


· 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
· 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
· 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 Stø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



· Theo Dimitrakos, BITD-CCLRC
· Fabio Martinelli, IIT-CNR



· Adriana Lazzaroni, IIT-CNR 


 tel: +39 050 315 2646
 fax: +39 050 315 2593




Suggested submission topics include, but are not limited to:

· Formal models for security, trust and reputation
· Security protocol design and analysis
· Logics for security and trust
· Trust-based reasoning
· Distributed Trust Management Systems
· Digital Assets Protection
· Data protection
· Privacy and ID management issues
· Information flow analysis
· Language-based security
· Security and Trust aspects in ubiquitous computing
· Validation/Analysis tools
· Web/Grid Services Security/Trust/Privacy
· Security and Risk Assessment
· Case studies




The formal proceedings has been published by IFIP-Springer (here). A special issue with a selection of the best papers of FAST 2004 and FAST 2005 will be published on the International Journal of Information Security (IJIS).



The program consists of peer-reviewed papers, two invited talks and (possibly) two panels. Further details will follow.





See WCC 2004 registration web page


See WCC 2004 accommodation web page


See WCC 2004 conference venue page