[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Submissions are now open for FAST 2008. ~~~~~~~~~~~~~~~~ ------------------------------------------------ 5th International Workshop on Formal Aspects in Security & Trust (FAST2008) October 9-10 2008 Malaga, Spain www.iit.cnr.it/FAST2008/ FAST2006 is a satellite event of 14th Formal Methods Symposium (FM2008). FAST is under the auspices of IFIP WG 1.7 ------------------------------------------------ OVERVIEW OF FAST The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008) aims at continuing the successful efforts of the previous FAST workshops, fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well matched security and trust mechanisms. These 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 Paper Submission: 25 June 2008 Author Notification: 4 August 2008 Pre-proceedings version: 10 September 2008 Workshop: 09-10 October 2008 Post-proceedings version: 30 October 2008 Organizers . Pierpaolo Degano, University of Pisa, Italy . Joshua Guttman, MITRE, USA . Fabio Martinelli, IIT-CNR, Italy Program Committee ·Gilles Barthe, IMDEA Software, Spain ·Fre'de'ric Cuppens, ENST Bretagne, France ·Roberto Gorrieri, University of Bologna, Italy ·Masami Hagiya, University of Tokyo, Japan ·Chris Hankin, Imperial College (London), UK ·Christian Jensen, DTU, Denmark ·Audun Josang, DSTC, Australia ·Yuecel Karabulut, SAP, Germany ·Igor Kotenko, SPIIRAS, Russia ·Ninghui Li, Purdue University, USA ·Javier Lopez, University of Malaga, Spain ·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 ·Peter Ryan, University of Newcastle, UK ·Steve Schneider, University of Surrey, UK ·Jean-Marc Seigneur, University of Geneva, Switzerland ·Vitaly Shmatikov, University of Texas at Austin, 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: We seek papers presenting original contributions. 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 first page. Accepted full papers will be published in the formal post-proceedings. Short papers as well as full papers will be published 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 (together with the accepted full papers). 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