Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol

Ontology Dynamics 2010.

力学;计算机科学

Xiaolie Ye ; Lejian Liao

Others  :  http://ceur-ws.org/Vol-651/paper6.pdf
PID  :  42047

来源: CEUR

【 摘 要 】

The Semantic Web techniques, like OWL1, bring more semantic to the static information about functionalities and non-functionalities of Web services. However, it is not smooth to faithfully describe some dynamic aspects and support reasoning tasks. When discussing the se- curity of interactions of Web services, we should solve such problems like how to describe interactive behaviors, static information, and the secu- rity properties required in the ontological layer, and how to validate those properties by a reasonable reduction method. As well-known, a knowl- edge base (e.g. that contains assertive axioms in OWL), can be used to represent the possible states of a world. Then, using a set of the asser- tions(assertion changes)that describe the update and erasure in instance level for a knowledge base, we propose an approach to conceptualize tran- sitions of states for modeling interactions of Web services. Furthermore, we present an OWL-based Past Linear Temporal Logic (Past-LTL)2 to describe temporal properties within a finite sequence of interactions and refine some algorithms to reduce the validity of an OWL-based Past-LTL formula into the entailment relationship in OWL.