@inproceedings{iciw07,
	author={Llanos Tobarra, Diego Cazorla, Fernando Cuartero and Gregorio D{\'i}az},
	title={Analysis ofWeb Services Secure Conversation with Formal Methods},
	abstract={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.},
	booktitle={The Second International Conference on Internet and Web Applications and
		Services (CD-ROM)},
	year={2007},
	month={May},
	publisher={IEEE},
	editor={IEEE CPS and IARIA Logistics}
}