sur 14
Verification of Communication Protocols in Web Services — Kazi Sakib, Zahir Tari, Peter Bertok