[TYPES/announce] Formal Aspects of Security and Trust: CFP

[Joshua D. Guttman]

Please consider submitting a paper to FAST this year.  
Language-based security is one of the topics, with security
type systems a method of interest to the workshop.  

Previous editions have had Springer LNCS post-proceedings,
which we expect for this year too.  

The workshop is co-located with Formal Methods 2009 in
Eindhoven, the 5th and 6th of November.  The abstract/title
deadline is:

  13 July 

and the full paper submission date is 

  20 July.

Thanks!

        Joshua and Pierpaolo 

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
		 6th International Workshop on
		       Formal Aspects of
			Security & Trust
			   (FAST2009)
		       5-6 November 2009
			 Eindhoven, NL
		http://www.iit.cnr.it/FAST2009/

		  FAST2009 is an event of the
		      Formal Methods Week
		 http://www.win.tue.nl/fmweek/


	   FAST is under the auspices of IFIP WG 1.7
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


OVERVIEW OF FAST

The sixth International Workshop on Formal Aspects of Security
and Trust (FAST2009) aims at continuing the successful efforts
of the previous FAST workshops, fostering cooperation among
researchers in the areas of security and trust.

Computing and network infrastructures have become pervasive, and
now they carry a great deal of economic activity.  Thus, society
needs well matching security and trust mechanisms.  Interactions
increasingly span several enterprises and involve loosely
structured communities of individuals.  Participants in these
activities must control interactions with their partners based
on trust policies and business logic.  Trust-based decisions
effectively determine the security goals for shared information
and for access to sensitive or valuable resources.

FAST focuses on the formal models of security and trust that are
needed to state goals and policies for these interactions.  We also
seek new and innovative techniques for establishing consequences of
these formal models.  Implementation approaches for such techniques
are also welcome.  


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 asset 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
Resource and access control
Case studies

IMPORTANT DATES
Title/Abstract Submission:  13 July 
Paper submission:  	    20 July  

Author Notification:	    30 August
Pre-proceedings version:    5 October 
Workshop:		    5-6 November 2009
Post-proceedings version:   30 November 2009


Organizers
. Pierpaolo Degano, University of Pisa, Italy
. Joshua Guttman, Worcester Polytechnic Inst., USA

Program Committee

Gilles Barthe, IMDEA Software, Spain 
Fre'de'ric Cuppens, Telecom Bretagne, France 
Pierpaolo Degano, University of Pisa, Italy (co-chair)
Theo Dimitrakos, BT, UK 
Sandro Etalle, Eindhoven, NL 
Roberto Gorrieri, Bologna, Italy 
Joshua Guttman, Worcester Polytechnic Inst., USA (co-chair)
Masami Hagiya, Tokyo, Japan 
Chris Hankin, Imperial College (London), UK 
Bart Jacobs, Radboud University Nijmegen, NL
Christian Jensen, DTU, Denmark 
Yuecel Karabulut, SAP Research, USA 
Igor Kotenko, SPIIRAS, Russia 
Fabio Martinelli, CNR, IT 
Catherine Meadows, Naval Research Lab, USA 
Ron van der Meyden, University of New South Wales, Australia 
Mogens Nielsen, Aarhus, Denmark 
Dusko Pavlovic, Kestrel Institute, USA and Oxford, UK 
Riccardo Pucella, Northeastern, USA 
Peter Ryan, Luxembourg 
Steve Schneider, Surrey, UK 
Jean-Marc Seigneur, University of Geneva, Switzerland


PROCEEDINGS 

Post-proceedings of the workshop will be published with LNCS.  A
special journal issue is also planned.


SUBMISSION GUIDELINES:

We seek papers presenting original contributions. Two types of
submissions are possible:

(1) short papers, up to 5 pages in LNCS format, 
(2) full papers, up to 15 pages in LNCS format.

Submissions should clearly state their category (1 or
2). Author's full name, address, and e-mail must appear on the
first page.

Accepted full papers will be published in the formal
post-proceedings in LNCS.  

Short papers as well as full papers will be included in the
informal proceedings distributed at the workshop.  After the
workshop, authors of short papers which are judged mature enough
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 in
LNCS.

Simultaneous submission of full papers to a journal or
conference/workshop with formal proceedings justifies rejection.
Short papers at FAST are not formally published, so this
restriction does not apply to them.  However, related
publications and overlapping submissions must be cited
explicitly in short papers.




-- 
	Joshua D. Guttman 
	The MITRE Corporation