The workshop on Formal Aspects of Security and Trust has Springer LNCS post-proceedings and a potential journal special issue. We're extending the deadline to 20 July for abstract submission and 24 July for the actual papers. Would you like to make a submission? It's been excellent the past several meetings. Regards -- Joshua ~~~~~~~~~~~~~~~~ *** Formal Aspects of Security and Trust *** *** Springer LNCS Post-proceedings *** *** *** *** Extended deadline: *** *** Abstract: 20 July 2009 *** *** Paper: 24 July 2009 *** *** *** *** Submission URL: *** *** http://www.easychair.org/conferences/?conf=fast2009 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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: *** http://www.easychair.org/conferences/?conf=fast2009 *** 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]