[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
6th International Workshop on Formal Aspects of Security & Trust (FAST2009) 5-6 November 2009, Eindhoven, NL http://www.iit.cnr.it/FAST2009/ FAST2009 is part of Formal Methods Week http://www.win.tue.nl/fmweek/ Sponsored by IFIP WG 1.7 Formal Aspects of Security and Trust is a highly selective two-day workshop with LNCS post-proceedings. Society needs reliable design and analysis of the policies and mechanisms of its computing and network infrastructures. Their security and their ability to behave in accord with human trust relations is necessary for core social goals. The theme of this workshop is the formal approach to this problem. You are invited to participate. Registration is at http://www.win.tue.nl/fmweek/Registration.html ~~~~~~~~~~~~~~~~ Program 5 Nov 2009 9:00 Invited talk: Anindya Banerjee, Imdea, Spain 10:30 TRUST Sjouke Mauw and Baptiste Alcalde: An algebra for trust dilution and trust fusion Ehab ElSalamouny, Vladimiro Sassone and Mogens Nielsen: HMM-based Trust Model Florian Eilers and Uwe Nestmann: Deriving Trust from Experience Andrew Cirillo and James Riely: Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties 13:30 WORKFLOW AND ORCHESTRATION Alessandro Armando and Serena Elisa Ponta: Model Checking of Security-sensitive Business Processes Yannick Chevalier, Mohamed Anis Mekki and Michael Rusinowitch: Orchestration under Security Constraints Massimo Bartoletti and Roberto Zunino: Security issues in contract-based computing 15:30 SECURE FLOW Toby Murray and Gavin Lowe: Analysing the Information Flow Properties of Object-Capability Patterns Pasquale Malacaria and Jonathan Heusser: Applied Quantitative Information Flow and Statistical Databases Josef Svenningsson and David Sands: Specification and Verification of Side Channel Declassification Rafael Alpizar and Geoffrey Smith: Secure Information Flow for Distributed Systems November 06th 2009 09:15 MOBILITY AND DENIABILITY Vladimiro Sassone, Catuscia Catuscia Palamidessi, Sardaouna Hamadou, Ehab ElSalamouny: Beliefs and Probable Innocence Brian Sniffen: Practically engageable adversaries for streaming media Massimo Merro and Eleonora Sibilio: A Calculus of Trustworthy Ad Hoc Networks 11:15 PROTOCOLS 1 Pascal Lafourcade, Vanessa Terrade and Sylvain Vigier: Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties Ying Zhang, Chenyi Zhang, Jun Pang and Sjouke Mauw: Game-Based Verification of Multi-Party Contract Signing Protocols Mark Ryan and Liqun Chen: Attack, solution and verification for shared authorisation data in TCG TPM 14:00 PROTOCOLS 2 Jay McCarthy and Shriram Krishnamurthi: Trusted Multiplexing of Cryptographic Protocols Allaa Kamil and Gavin Lowe: Specifying and Modelling Secure Channels in Strand Spaces 15:30 PROTOCOLS 3 Achim D. Brucker and Sebastian A. Mödersheim: Integrating Automated and Interactive Protocol Verification Peeter Laud and Ilja Tshahhirov: A user interface for a game-based protocol verification tool ~~~~~~~~~~~~~~~~ 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 Ketil Stolen, SINTEF, NO -- Joshua D. Guttman The MITRE Corporation and WPI (gutt...@wpi.edu: non-MITRE-specific address)