Verification of web service protocols by logic of knowledge | |
Chen, Qingliang ; Su, Kaile ; Cao, Ying ; Liu, Chanjuan | |
刊名 | journal of information and computational science |
2011 | |
英文摘要 | 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 specifications we are to verify can hold in arbitrary number of sessions. ? 2011 Binary Information Press.; EI; 0; 6; 921-932; 8 |
语种 | 英语 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/294573] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Chen, Qingliang,Su, Kaile,Cao, Ying,et al. Verification of web service protocols by logic of knowledge[J]. journal of information and computational science,2011. |
APA | Chen, Qingliang,Su, Kaile,Cao, Ying,&Liu, Chanjuan.(2011).Verification of web service protocols by logic of knowledge.journal of information and computational science. |
MLA | Chen, Qingliang,et al."Verification of web service protocols by logic of knowledge".journal of information and computational science (2011). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论