[TYPES] FAST2005: Extended deadline for the 3rd International Workshop on Formal Aspects in Security and Trust

[Fabio Martinelli]

                        [apologies for multiple copies]

        !!!!NEWS:  EXTENDED DEADLINE and updated submission instructions!!!!

--------------------------------------------------------------------------------------------------
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: http://www.csr.ncl.ac.uk/fm05/) 
and under the auspices of IFIP WG 1.7 "Theoretical Foundations of Security Analysis and Design"
--------------------------------------------------------------------------------------------------

            -last call for papers -


WEBSITE
www.iit.cnr.it/FAST2005


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 

Elisa Bertino, Purdue University, USA
John A Clark, University of York, UK
Fre'de'ric Cuppens, ENST Bretagne, France
Rino Falcone, ISTC-CNR, Italy 
Simon Foley, University College Cork, Ireland
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
Yuecel Karabulut, SAP, 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
Babak Sadighi Firozabadi, SICS, Sweden
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

Submission Instructions:
Papers presenting original contributions are sought. Two formats of submissions are possible:

1) short papers, up to 5 pages,
2) full papers, up to 14 pages.

Submissions should clearly state their category (1 or 2).
Accepted full papers will be published in the formal post-proceedings. 
Short papers will be published in the informal proceedings distributed 
at the workshop (together with the accepted full papers).
After the workshop, authors of  short papers  which are judged mature for publication 
will be invited to submit full papers. These will be reviewed according to the usual refereeing 
procedures, and accepted papers  will be published in the post-proceedings on LNCS 
(together with the accepted full papers).

Simultaneous submission of full papers to a journal or
conference/workshop with formal proceedings is not allowed.

IMPORTANT DATES 
Abstract Submission: 9 May 2005 (EXTENDED!!!)
Paper Submission: 14 May 2005
Author Notification: 10 June 2005
Pre-proceedings version: 20 June 2005
Workshop: 18-19 July 2005
Post-proceedings version: 30 September 2005


PROCEEDINGS
Formal publication of the post-proceedings of the workshop is planned with LNCS.  
In addition, a special issue on a journal is under negotiation, where a selection of the best papers 
may be invited for publication as for previous FAST workshops.