------------------------------------------------------------------------ 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" ------------------------------------------------------------------------ OVERVIEW OF FAST2004 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 IMPORTANT DATES 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 Contacts 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) 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 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 INVITED SPEAKERS Roberto Gorrieri, University of Bologna Christos Nikolaou, University of Crete IMPORTANT DATES 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 ORGANIZERs Theo Dimitrakos, BITD-CLRC Fabio Martinelli, IIT-CNR PROCEEDINGS 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).