[TYPES/announce] Formal Aspects of Security and Trust: Call for Participation

[Joshua D. Guttman]

            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
	(guttman at wpi.edu:  non-MITRE-specific address)