Reference : Web Services Verification and Prudent Implementation
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Web Services Verification and Prudent Implementation
Avanesov, Tigran mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Chevalier, Yannick [> >]
Anis Mekki, Mohammed [> >]
Rusinowitch, Michaël [> >]
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.
Springer Berlin Heidelberg
September 15-16, 2011
[en] Web Services ; Security Policy ; Automated deployment
[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.
Revised Selected Papers of 4th International Workshop, SETOP 2011

File(s) associated to this reference

Fulltext file(s):

Limited access
10.1007_978-3-642-28879-1_12.pdfPublisher postprint392.99 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.