[TYPES] CfP: 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)

Fabio Martinelli Fabio.Martinelli at iit.cnr.it
Tue Mar 1 10:45:03 EST 2005


  (apologizes for multiple copies)
--------------------------------------------------------------------------------------------------
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.  

 



More information about the Types-list mailing list