[TYPES/announce] FAST2006: Deadline extended - 4th International Workshop on Formal Aspects in Security & Trust

[Fabio Martinelli]

*Apologies for multiple copies*

------------------------------------------------
4th International Workshop on Formal Aspects in
        Security & Trust (FAST2006)
    August 26-27 2006 Hamilton, Ontario Canada
  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
------------------------------------------------

NEWS: Deadline extended July 5!
(See also the submission guidelines)


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
Type systems for security and trust
Aspects in Security & 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: 05 July 2006 (Extended)
Author Notification: 29 July 2006
Pre-proceedings version: 10 August2006
Workshop: 26-27 August 2006
Post-proceedings version: 30 September 2006

Invited Speaker
Joshua Guttman, MITRE, USA

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
.Gregor v. Bochmann, University of Ottawa, Canada
·John A Clark, University of York, UK
·Fre'de'ric Cuppens, ENST Bretagne, France
·Roberto Gorrieri, University of Bologna, Italy
.Joshua Guttman, MITRE, USA
·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, University of Texas at San Antonio, USA

PROCEEDINGS
As for the previous editions, the post-proceedings of the
workshop will be published with LNCS and a special journal
issue is also planned.


SUBMISSION GUIDELINES:

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

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

Submissions should clearly state their category (1 or 2).
Author's full name, address, and e-mail must appear in the cover page.
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.