------------------------------------------------ 4th International Workshop on Formal Aspects in Security & Trust (FAST2006) Hamilton, Ontario Canada http://www.iit.cnr.it/FAST2006 FAST2006 is a satellite event of 14th Formal Methods Symposium (FM2006). FAST is under the auspices of IFIP WG 1.7 OVERVIEW OF FAST The fourth International Workshop on Formal Aspects in Security and Trust (FAST2006) aims at continuing the successful efforts of the first three 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 demands for a coherent framework of concepts, tools and methodologies to enable user' trust&confidence on the underlying communication 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. 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: 23 June 2006 Author Notification: 29 July 2006 Pre-proceedings version: 10 August2006 Workshop: 26-27 August 2006 Post-proceedings version: 30 September 2006 ORGANIZERS . Theo Dimitrakos, BT, UK . Fabio Martinelli, IIT-CNR, Italy . Peter Ryan, University of Newcastle, UK . Steve Schneider, University of Surrey, UK Program Committee ·Gilles Barthe, INRIA Sophia-Antipolis, France .Stefano Bistarelli, University of Pescara, Italy ·John A Clark, University of York, UK ·Fre'de'ric Cuppens, ENST Bretagne, France ·Roberto Gorrieri, University of Bologna, Italy ·Masami Hagiya, University of Tokyo, Japan ·Chris Hankin, Imperial College (London), UK ·Christian Jensen, DTU, Denmark ·Audun Josang, DSTC, Australia ·Jan Jürjens, TU München, Germany ·Yuecel Karabulut, SAP, Germany ·Igor Kotenko, SPIIRAS, Russia ·Heiko Krumm, University of Dortmund, Germany ·Ninghui Li, Purdue University, USA ·Steve Marsh, NRC, Canada ·Catherine Meadows, Naval Research Lab, USA ·Ron van der Meyden, University of New South Wales, Australia ·Mogens Nielsen, University of Aarhus, Denmark .Flemming Nielson, Danish Technical University, Denmark ·Indrajit Ray, Colorado State University, USA ·Babak Sadighi Firozabadi, SICS, Sweden, ·Pierangela Samarati, University of Milan, Italy ·Jean-Marc Seigneur, University of Geneva, Switzerland .Paul Syverson, Naval Research Lab, USA ·Ketil Stolen, SINTEF, Norway ·William H. Winsborough, George Mason University, USA PROCEEDINGS As for the previous editions, formal publication of the post-proceedings of the workshop is planned with LNCS and a special journal issue is also planned.