An extended strand space method for fairness analysis of non-repudiation protocols

被引：0
|
作者：
Li, Lei [1 ]
Chen, Jing [2 ]
Wang, Yumin [1 ]
机构：
[1] National Key Laboratory of Integrated Service Networks, Xidian University, Xi'an 710071, China
[2] School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
来源：
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University | 2010年 / 44卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
13
引用
收藏
页码：16 / 20
相关论文
共 50 条
  • [21] Game-based analysis of multi-party non-repudiation protocols
    Wang Xueming
    Li Xiang
    CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 642 - +
  • [22] BPEL processes for non-repudiation protocols in Web Services
    Bilal, M
    Thomas, JP
    Harrington, P
    Abraham, A
    International Conference on Next Generation Web Services Practices, 2005, : 299 - 304
  • [23] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [24] Automatic Analysis of a Non-Repudiation Protocol
    Lanotte, Ruggero
    Maggiolo-Schettini, Andrea
    Troina, Angelo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 112 : 113 - 129
  • [25] On-the-fly model checking of fair non-repudiation Protocols
    Li, Guoqiang
    Ogawa, Mizuhito
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 511 - +
  • [26] A formal analysis of non-repudiation protocols based on first-order logic
    Yudan, Fan
    Jihong, Han
    Yadi, Wang
    Yu, Zhao
    Kai, Liao
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 6580 - 6583
  • [27] Timeout estimation using a simulation model for non-repudiation Protocols
    Carbonell, M
    Onieva, JA
    Lopez, J
    Galpert, D
    Zhou, JY
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1, 2004, 3043 : 903 - 914
  • [28] Fair BPEL processes transaction using non-repudiation protocols
    Bilal, M
    Thomas, JP
    2005 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, VOL 1, PROCEEDINGS, 2005, : 337 - 340
  • [29] Optimistic non-repudiation protocol analysis
    Santiago, Judson
    Vigneron, Laurent
    INFORMATION SECURITY THEORY AND PRACTICES: SMART CARDS, MOBILE AND UBIQUITOUS COMPUTING SYSTEMS, PROCEEDINGS, 2007, 4462 : 90 - +
  • [30] Formal analysis of a non-repudiation protocol
    Schneider, S
    11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 54 - 65
12345