Title :
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
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;
Conference_Titel :
Electrical and Control Engineering (ICECE), 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-6880-5
DOI :
10.1109/iCECE.2010.1422
