3rd International Workshop on Formal Aspects in Security & Trust (FAST2005) www.iit.cnr.it/FAST2005 Newcastle, UK, 18-19 July 2005. FAST 2005 is affiliated with 13th Formal Methods Symposium (FM05: http://www.csr.ncl.ac.uk/fm05/) and under the auspices of IFIP WG 1.7 "Theoretical Foundations of Security Analysis and Design" -------------------------------------------------------------------------- - Preliminary call for papers - OVERVIEW The third international Workshop on Formal Aspects in Security and Trust (FAST2005) aims at continuing the successful efforts of the first two FAST workshops 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 and 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 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. PROGRAMME COMMITTEE (TBC) Elisa Bertino, Purdue University, USA John A Clark, University of york, UK Fre'de'ric Cuppens, ENST Bretagne, France Rino Falcone, ISTC-CNR, Italy Roberto Gorrieri, University of Bologna, Italy Masami Hagiya, University of Tokyo, Japan Chris Hankin, Imperial College (London), UK Valerie Issarny, INRIA, France Christian Jensen, DTU, Denmark Audun Josang, DSTC, Australia Jan Ju''rjens, TU Mu''nchen, Germany Igor Kotenko, SPIIRAS, Russia Heiko Krumm, University of Dortmund, Germany Fabio Massacci, University of Trento, Italy Stefan Poslad, Queen Mary College, UK Catherine Meadows, Naval Research Lab, USA Ron van der Meyden, University of New South Wales, Australia Andrew Myers, Cornell University, USA Mogens Nielsen, University of Aarhus, Denmark Indrajit Ray, Colorado State University, USA Pierangela Samarati, University of Milan, Italy Ketil Stolen, SINTEF, Norway Kymie Tan, Carnegie Mellon University, USA William H. Winsborough, George Mason University, USA ORGANIZERS Theo Dimitrakos, BT, UK Fabio Martinelli, IIT-CNR, Italy Peter Ryan, University of Newcastle, UK Steve Schneider, University of Surrey, UK PAPER SUBMISSION 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 IMPORTANT DATES Paper Submission: 29 April 2005 Author Notification: 10 June 2005 Pre-proceedings version: 20 June 2005 Workshop: 18-19 July 2005 Post-proceedings version: 15 September 2005 PROCEEDINGS Formal publication of the post-proceedings of the workshop is under negotiation.