Show simple item record

dc.contributor.authorChen, Qingliangen_US
dc.contributor.authorSu, Kaileen_US
dc.contributor.authorCao, Yingen_US
dc.contributor.authorLiu, Chanjuanen_US
dc.date.accessioned2017-05-03T14:56:26Z
dc.date.available2017-05-03T14:56:26Z
dc.date.issued2011en_US
dc.date.modified2013-06-26T02:54:46Z
dc.identifier.issn15487741en_US
dc.identifier.urihttp://hdl.handle.net/10072/44869
dc.description.abstractWeb 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.format.extent1145451 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherBinary Information Pressen_US
dc.publisher.placeUnited Statesen_US
dc.publisher.urihttp://www.joics.com/showabstract.aspx?id=1183en_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom921en_US
dc.relation.ispartofpageto931en_US
dc.relation.ispartofissue6en_US
dc.relation.ispartofjournalJournal of Information & Computational Scienceen_US
dc.relation.ispartofvolume8en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchInformation Systems not elsewhere classifieden_US
dc.subject.fieldofresearchcode080699en_US
dc.titleVerification of Web Service Protocols by Logic of Knowledgeen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.rights.copyrightCopyright 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.en_US
gro.date.issued2011
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record