Web Services Verification and Prudent Implementation

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Avanesov, Tigran Chevalier, Yannick Mekki, Mohammed Anis Rusinowitch, Michaël

Book title:	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
Pages:	173-189




@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", }
Note:	partners: INRIA; projects: Nessos; no tier; citations:3
[Bibtex]