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
173-189
Yes
978-3-642-28878-4
SETOP'11
September 15-16, 2011
Leuven
Belgium
[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.
[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
