4th International Workshop on Formal Aspects in
       Security & Trust (FAST2006)
      Hamilton, Ontario Canada

  FAST2006 is a satellite event of 14th
    Formal Methods Symposium (FM2006).

FAST is under the auspices of IFIP WG 1.7

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.

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

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

. 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

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.