WTS 2010

Workshop on Formal Methods for Web Data Trust and Security

October 11th 2010, Nancy, France

Satellite event of IFM 2010

with the support of the ARC INRIA ACCESS project and the working group FORWAL of the CNRS GDR GPL


An increasing number of web applications use XML as their data model or as a format to export other data, including in particular user content exchange applications (social networks, mashups, blogs, photo sharing sites, wikis...) for which privacy is a central issue. In this context, it is critical to investigate the problem of access control for XML documents.

The workshop WTS aims at bringing together people interested in formal models for security and access control for Web data exchange and foster collaboration amongst those working in formal methods, system verification, access control for Web data, and computer security and privacy.

The topics of interest include, but are not limited to:


We want to encourage dissemination of knowledge as well as interaction between researchers. To facilitate this, the programme includes 30 minute talks, tutorials and discussions.

Sunday October 10th
20:00 Diner at Brasserie l’Excelsior
Monday October 11th
09:00-09:30 Welcome
09:30-10:30 Invited tutorial: James Cheney.
To Protect and Share: Research Issues for Web Database Security.
10:30-10:45 Coffee Break
10:45-11:15 Detecting XML Query-Update Independence.
Nicole Bidoit, Dario Colazzo, Federico Ulliana.
11:15-11:45 View update translation for XML.
Iovka Boneva, Benoit Groz, Sophie Tison, Anne-Cecile Caron, Yves Roos, Slawek Staworko.
11:45-12:15 WebdamExchange: A Model for Data Access on the Web.
Serge Abiteboul, Alban Galland, Amelie Marian, Alkis Polyzotis.
12:15-12:45 Demos / Discussions
12:45-14:15 Lunch
14:15-14:45 Random Generation of Hard Instances for the positive TAGED emptiness problem.
Vincent Hugot, Olga Kouchnarenko, Pierre-Cyrille Heam.
14:45-15:15 Deciding emptiness for automata with global (dis)equality constraints.
Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher.
15:15-15:30 Coffee Break
15:30-16:00 Security and Access Control at the W3C.
Mohamed Zergaoui (Innovimax).
16:00-16:30 Rewrite Speci fications of Access Control Policies in Distributed Environments.
Clara Bertolissi, Maribel Fernandez.

The abstracts of the talks are available here.

Location, Events

The workshop is taking place in at the LORIA in Nancy, France. For information regarding the venue, see the page at IFM 2010.

There is a diner on Sunday, October 10th 2010, at 20:00, at the brasserie l’Excelsior 50 rue Henri-Poincaré, Nancy.
The restaurant is just in front of the train station, see on this map.
The dinner is free for all the participants!

Jazz lovers should note that the workshop takes place during the famous jazz festival Nancy Jazz Pulsations. There will be many good concerts the day before and during the evening of the workshop day!


The participants must register on the site of IFM 2010.
The deadline for early registration is september 15 2010.

Student grants

We have funds to support participation of students at WTM 2010. Students may request grants to cover the early registration fees to WTS and also parts of their travel expenses. Please contact us for details regarding application to these grants.


Iovka Boneva INRIA Lille, LIFL and Univ. of Lille 1
Florent Jacquemard INRIA Saclay and LSV
Michael Rusinowitch INRIA Nancy and LORIA


For any question, you can contact us.