Semantic Web Services Composition Based on Secure Conversation Mode

Author

Hao, Shen-gang ; Zhang, Li

Author_Institution

Dept. of Comput. & Inf. Technol., Nanyang Normal Univ., Nanyang, China

fYear

2010

fDate

25-27 June 2010

Firstpage

3003

Lastpage

3008

Abstract

Automation of semantic web service composition 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 model of Action labeled Kripke Transition System, namely AKTS which can abstract interaction behaviors involved in service composition and turn them into logic symbols, then propose a secure conversation mode with constraints based on WS-Trust and WS-SecureConversation to ensure the security of service composition. At last, the problem of determining the security of service composition is verified by deterministic propositional logic.

Keywords

Web services; computer network security; knowledge representation languages; semantic Web; action labeled kripke transition system; deterministic prepositional logic; secure conversation mode; semantic web services composition; Communities; Encoding; Ontologies; Security; Semantic Web; Semantics; Web services; AKTS; Deterministic Propositional Logic; Secure Coversation Mode; Semantic Web Service Compostion;

fLanguage

English

Publisher

ieee

Conference_Titel

Electrical and Control Engineering (ICECE), 2010 International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-6880-5

Type

conf

DOI

10.1109/iCECE.2010.1422

Filename

5629598