SeSFJava harness: service and assertion checking for protocol implementations.

Tamer Elsharnouby A. Udaya Shankar

Published in: IEEE J. Sel. Areas Commun. (2004)

Keyphrases

protocol specification
lightweight
service providers
service oriented
web services
service composition
message delivery
formal analysis
management system
e government
service oriented architecture
service discovery
mobile services
service delivery
authentication protocol
transmission control protocol