Web Services Verification and Prudent Implementation.

Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch

Browse the full ESORICS paper archive.