A secure framework for web service interaction

Automated composition and interaction of semantic web service is one of the most promising challenges in semantic web service research area, in which security research on service composition has attracted more attention. In this paper, we present a framework of Action labeled Kripke Transition System, which can abstract interaction behaviors between distributed web service and translate them into logic symbols, then propose a secure conversation mode with constraints based on WS-Trust and WS-Secure Conversation to ensure the security of service interaction. Finally, the security interaction among semantic web services can be easily verified by deterministic propositional logic.