Validating a Web Service Security Abstraction by Typing

Andrew D. Gordon, Riccardo Pucella

An XML web service is, to a first approximation, an RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. We consider the pro…