3rd International Workshop on Formal Aspects in Security & Trust (FAST2005)

Newcastle, UK, 18-19 July 2005.

FAST 2005 is affiliated with 13th Formal Methods Symposium (FM05:

and under the auspices of IFIP WG 1.7 "Theoretical Foundations of
Security Analysis and Design"


- Preliminary call for papers -


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.


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

Theo Dimitrakos, BT, UK
Fabio Martinelli, IIT-CNR, Italy
Peter Ryan, University of Newcastle, UK 
Steve Schneider, University of Surrey, UK

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: 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

Formal publication of the post-proceedings of the workshop is under