Verification of Web Service Protocols by Logic of Knowledge

File Size Format
77143_1.pdf 1118Kb Adobe PDF View
Title Verification of Web Service Protocols by Logic of Knowledge
Author Chen, Qingliang; Su, Kaile; Cao, Ying; Liu, Chanjuan
Journal Name Journal of Information & Computational Science
Year Published 2011
Place of publication United States
Publisher Binary Information Press
Abstract Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions,i.e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the pecifications we are to verify can hold in arbitrary number of sessions.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.joics.com/showabstract.aspx?id=1183
Copyright Statement Copyright 2011 Binary Information Press. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Volume 8
Issue Number 6
Page from 921
Page to 931
ISSN 1548-7741
Date Accessioned 2012-03-06
Language en_US
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Information Systems
URI http://hdl.handle.net/10072/44869
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice