Experiments and Proofs in Web-service Security. - Dawood Sheniar; Nabeel Hadaad; David Martin; Ron Addie; Shahab A. Abdullah (ITNAC, 2018)