Experiments and Proofs in Web-service Security.

Dawood Sheniar, Nabeel Mahdy Haddad, David Martin, Ron Addie, Shahab A. Abdullah

Browse the full ITNAC paper archive.