A semantics for web services authentication.

Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon

Browse the full POPL paper archive.