Web Services Single Sign-on Protocol and Formal Analysis on It.

Dongxi Zheng Shaohua Tang Shaofa Li

Published in: J. Circuits Syst. Comput. (2005)

Keyphrases

formal analysis
web services
ban logic
formal methods
payment protocol
web service composition
agent model
service oriented
service providers
service composition
web applications
authentication protocol
business processes
peer to peer
service oriented architecture
composite web services
knowledge base