FAST 2009 is an event of the
Formal Methods Week Eindhoven, the Netherlands, October 31 - November 6, 2009
FAST is under the auspices of IFIP WG 1.7
OVERVIEW
The sixth International Workshop on Formal Aspects in Security and Trust
(FAST2009) 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.
IMPORTANT
DATES
Title and abstract: 20 July 2009
Full submission: 24 July 2009
Author Notification: 30 August 2009
Pre-proceedings version: 5 October 2009
Workshop: 5-6 November 2009
Post-proceedings version: 30 November 2009
PROGRAMME
COMMITTE (TBA)
·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
ORGANIZERS
· Pierpaolo Degano, University of Pisa, Italy
· Joshua Guttman, Worcester Polytechnic Inst., USA
LOCAL ORGANIZER
· Sandro Etalle, TUE
CONTACTS
Send an e-mail to FAST2009'at'di.unipi.it
Latest updates about FAST 2009 will be regularly posted to
security@fosad.org (a
mailing list for the scientific community interested in computer security).
SUBMISSION GUIDELINES
We seek papers presenting original contributions. Two formats 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 inLNCS.
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.
Follow this link to submit your paper through Easychair system
PROCEEDINGS
Post-proceedings of the workshop will be published with LNCS. A special journal issue is also planned.
PROGRAMME
|
November 5th 2009
|
|
08:30 - 08:50 tea and registration
|
|
08:50 - 09:00 opening
|
|
09:00 - 10:00 invited talk by Anindya Banerjiee
|
|
10:00 - 10:30 coffee break
|
|
10:30 - 12: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
|
|
|
12:30 - 13:30 lunch break
|
|
13:30 - 15:00 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:00 - 15:30 coffee break
|
|
15:30 - 17: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 - 10:45 MOBILITY AND DENIABILITY
|
|
|
Vladimiro Sassone, Catuscia Catuscia Palamidessi, Sardaouna
Hamadou and 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
|
|
|
10:45 - 11:15 coffee break
|
|
11:15 - 12:45 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
|
|
|
12:45 - 14:00 lunch break
|
|
14:00 - 15: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:00 - 15:30 coffee break
|
|
15:30 - 16: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
|
|
