A secure framework for web service interaction

Author

Zhuang, Haiyan

Author_Institution

Dept. of Police Manage., Railway Police Coll., Zhengzhou, China

fYear

2011

fDate

15-17 April 2011

Firstpage

95

Lastpage

98

Abstract

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.

Keywords

Web services; distributed processing; formal logic; security of data; semantic Web; WS-Secure Conversation; WS-Trust; Web service interaction; action labeled Kripke transition system; deterministic propositional logic; distributed Web service; logic symbol; secure framework; semantic Web service; Communities; OWL; Ontologies; Security; Semantics; Web services; Automated composition; Kripke Structure; Propositional Logic; Secure Framework;

fLanguage

English

Publisher

ieee

Conference_Titel

Electric Information and Control Engineering (ICEICE), 2011 International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-8036-4

Type

conf

DOI

10.1109/ICEICE.2011.5777664

Filename

5777664