Validating a Web service security abstraction by typing

Andrew D. Gordon, Riccardo Pucella. Validating a Web service security abstraction by typing. In Michiharu Kudo, editor, Proceedings of the 2002 ACM Workshop on XML Security, Fairfax, VA, USA, November 22, 2002. pages 18-29, ACM, 2002. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: