Analysis of Web Services Secure Conversation with Formal Methods

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Llanos Tobarra Articles by Diego Cazorla Articles by Fernando Cuartero Articles by Gregorio Diaz

Second International Conference on Internet and Web Applications and Services (ICIW'07)

Morne, Mauritius

May 13-May 19

ISBN: 0-7695-2844-9

	ASCII Text	x
	Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Diaz, "Analysis of Web Services Secure Conversation with Formal Methods," Internet and Web Applications and Services, International Conference on, pp. 27, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007.

	BibTex	x
	@article{ 10.1109/ICIW.2007.17, author = {Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Diaz}, title = {Analysis of Web Services Secure Conversation with Formal Methods}, journal ={Internet and Web Applications and Services, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2844-9}, pages = {27}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.17}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Internet and Web Applications and Services, International Conference on TI - Analysis of Web Services Secure Conversation with Formal Methods SN - 0-7695-2844-9 SP EP A1 - Llanos Tobarra, A1 - Diego Cazorla, A1 - Fernando Cuartero, A1 - Gregorio Diaz, PY - 2007 KW - null VL - 0 JA - Internet and Web Applications and Services, International Conference on ER -

Llanos Tobarra, University of Castilla-La Mancha, Spain

Diego Cazorla, University of Castilla-La Mancha, Spain

Fernando Cuartero, University of Castilla-La Mancha, Spain

Gregorio Diaz, University of Castilla-La Mancha, Spain

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.17

Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security contexts. A security context is an abstract concept that refers an authenticated state where the participants have derived secure session keys for multiples request/response exchanges. In this paper we model this protocol with the HLPSL language and we analyse it with the AVISPA toolbox.

Citation:

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Diaz, "Analysis of Web Services Secure Conversation with Formal Methods," iciw, pp.27, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.