Application of formal methods to the analysis of web services security

Authors:
Llanos Tobarra;Diego Cazorla;Fernando Cuartero;Gregorio Díaz
Affiliations:
Escuela Politécnica Superior de Albacete, Universidad de Castilla-La Mancha, Albacete, Spain;Escuela Politécnica Superior de Albacete, Universidad de Castilla-La Mancha, Albacete, Spain;Escuela Politécnica Superior de Albacete, Universidad de Castilla-La Mancha, Albacete, Spain;Escuela Politécnica Superior de Albacete, Universidad de Castilla-La Mancha, Albacete, Spain
Venue:
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Year:
2005

Citing 6
Cited 3

Communicating sequential processes

Communicating sequential processes
Model checking

Model checking
Casper: a compiler for the analysis of security protocols

Journal of Computer Security
On Verifying Web Service Flows

SAINT-W '02 Proceedings of the 2002 Symposium on Applications and the Internet (SAINT) Workshops
Verifying policy-based security for web services

Proceedings of the 11th ACM conference on Computer and communications security
Formal Specification of a Web Services Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)

An advisor for web services security policies

Proceedings of the 2005 workshop on Secure web services
Enhancing the expressivity of PADL for specifying Web Services Architectures

Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Application of model checking to AXML system's security: a case study

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web Services technologies have introduced a new challenge for security protocols. Traditional security protocols cannot handle intermediaries and the flexibility of Web Services bindings. Thus, several proposals for introducing security in Web Services have been presented. One of these is Web Services Security. In this paper we illustrate how this protocol works, with an example, and analyse whether it is a good option guaranteeing the security of Web Services.