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：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：16 / 20

共 50 条

[1] Extended-CSP based analysis of non-repudiation protocols
School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
Tongxin Xuebao, 2008, 10 (8-18): : 8 - 18
[2] Intermediary non-repudiation protocols
Onieva, JA
Zhou, JY
Carbonell, M
Lopez, J
IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE, 2003, : 207 - 214
[3] Investigation of non-repudiation protocols
Han, YF
INFORMATION SECURITY AND PRIVACY: 1ST AUSTRALASIAN CONFERENCE, ACISP 96, 1996, 1172 : 38 - 47
[4] Non-repudiation protocols for multiple entities
Onieva, JA
Zhou, JY
Lopez, J
COMPUTER COMMUNICATIONS, 2004, 27 (16) : 1608 - 1616
[5] Some guidelines for non-repudiation protocols
Louridas, P
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2000, 30 (05) : 29 - 38
[6] A formal treatment of non-repudiation protocols
Hada, S
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (02) : 461 - 470
[7] On the security of fair non-repudiation protocols
Gürgens, S
Rudolph, C
Vogt, H
INFORMATION SECURITY, PROCEEDINGS, 2003, 2851 : 193 - 207
[8] On the security of fair non-repudiation protocols
Gürgens S.
Rudolph C.
Vogt H.
International Journal of Information Security, 2005, 4 (4) : 253 - 262
[9] Non-repudiation and fairness in electronic data exchange
Nenadic, A
Zhang, N
ENTERPRISE INFORMATION SYSTEMS V, 2004, : 286 - 293
[10] Towards verification of timed non-repudiation protocols
Wei, K
Heather, J
FORMAL ASPECTS IN SECURITY AND TRUST, 2006, 3866 : 244 - 257