Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Web Services Verification and Prudent Implementation
Avanesov, Tigran; Chevalier, Yannick; Anis Mekki, Mohammed et al.
2011In 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.
Peer reviewed
 

Files


Full Text
10.1007_978-3-642-28879-1_12.pdf
Publisher postprint (402.42 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Web Services; Security Policy; Automated deployment
Abstract :
[en] Alice&Bob notation is widely used to describe conversations between partners in security protocols. We present a tool that compiles an Alice&Bob description of a Web Services choreography into a set of servlets. For that we first compute for each partner an executable specification as prudent as possible of her role in the choreography. This specification is expressed in ASLan language, a formal language designed for modeling Web Services tied with security policies. Then we can check with automatic tools that this ASLan specification verifies some required security properties such as secrecy and authentication. If no flaw is found, we compile the specification into Java servlets that real partners can use to execute the choreography.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-440
Author, co-author :
Avanesov, Tigran ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Chevalier, Yannick
Anis Mekki, Mohammed
Rusinowitch, Michaël
Language :
English
Title :
Web Services Verification and Prudent Implementation
Publication date :
2011
Event name :
SETOP'11
Event place :
Leuven, Belgium
Event date :
September 15-16, 2011
Main work 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.
Publisher :
Springer Berlin Heidelberg
ISBN/EAN :
978-3-642-28878-4
Pages :
173-189
Peer reviewed :
Peer reviewed
Commentary :
7122 Revised Selected Papers of 4th International Workshop, SETOP 2011
Available on ORBilu :
since 12 July 2013

Statistics


Number of views
90 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
3
OpenCitations
 
4

Bibliography


Similar publications



Contact ORBilu