@conference{AvanesovCMR11,
author = "Tigran Avanesov and Yannick Chevalier and Mohammed Anis Mekki and Micha{\"e}l Rusinowitch",
booktitle = "Data Privacy Management and Autonomous Spontaneus Security               - 6th International Workshop, DPM 2011, and 4th International               Workshop, SETOP 2011, Leuven, Belgium, September 15-16,               2011, Revised Selected Papers",
note = "partners: INRIA; projects: Nessos; no tier; citations:3",
pages = "173-189",
title = "{W}eb {S}ervices {V}erification and {P}rudent {I}mplementation",
year = "2011",
}