Title: Verification of Communication Protocols in Web Services
Subjects: Web services, Computer network protocols