Game-based verification of multi-party contract signing protocols

Zhang, Ying; Zhang, Chenyi; Pang, Jun; Mauw, Sjouke

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Game-based verification of multi-party contract signing protocols

Zhang, Ying; Zhang, Chenyi; Pang, Jun et al.

2010 • In Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09)

Peer reviewed

Permalink
https://hdl.handle.net/10993/191

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

FAST09.pdf

Author postprint (311.26 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Identifiers :

UNILU:UL-CONFERENCE-2010-174

Author, co-author :

Zhang, Ying ; Shandong University

Zhang, Chenyi ; University of Queensland

Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Mauw, Sjouke ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

yes

Language :

English

Title :

Game-based verification of multi-party contract signing protocols

Publication date :

2010

Event name :

7th International Workshop on Formal Aspects in Security and Trust

Event date :

2009

Audience :

International

Main work title :

Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09)

Publisher :

Springer-Verlag

Collection name :

Lecture Notes in Computer Science 5983

Pages :

186-200

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 22 April 2013

Statistics

Number of views

71 (2 by Unilu)

Number of downloads

113 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™

Bibliography

Asokan, N., Waidner, M., Schunter, M.: Optimistic protocols for fair exchange. In: Proc. CCS, pp. 7-17. ACM, New York (1997)
Asokan, N., Shoup, V., Waidner, M.: Optmistic fair exchange of digital signatures. Selected Areas in Communications 18(4), 591-606 (2000)
Kremer, S., Markowitch, O., Zhou, J.: An intensive survey of fair non-repudiation protocols. Computer Communications 25(17), 1606-1621 (2002)
Garay, J.A., MacKenzie, P.D.: Abuse-free multi-party contract signing. In: Jayanti, P. (ed.) DISC 1999. LNCS, vol. 1693, pp. 151-166. Springer, Heidelberg (1999)
Chadha, R., Kremer, S., Scedrov, A.: Formal analysis of multi-party contract signing. J. Autom. Reasoning 36(1-2), 39-83 (2006)
Mukhamedov, A., Ryan, M.D.: Fair multi-party contract signing using private contract signatures. Inf. Comput. 206(2-4), 272-290 (2008)
Mauw, S., Radomirović, S., Torabi Dashti, M.: Minimal message complexity of asynchronous multi-party contract signing. In: Proc. CSF, pp. 13-25. IEEE CS, Los Alamitos (2009)
Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: Mocha: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 521-525. Springer, Heidelberg (1998)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672-713 (2002)
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science (B), pp. 955-1072. MIT Press, Cambridge (1990)
Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7-48 (1999)
Zhang, Y., Zhang, C., Pang, J., Mauw, S.: Game-based verification of multiparty contract signing protocols - Mocha models and ATL properties (2009), http://satoss.uni.lu/members/jun/mpcs/
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An open source tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
Adleman, L.: Short permutation strings. Discrete Mathematics 10, 197-200 (1974)
Chadha, R., Mitchell, J.C., Scedrov, A., Shmatikov, V.: Contract signing, optimism, and advantage. J. Log. Algebr. Program. 64(2), 189-218 (2005)
Kähler, D., Küsters, R., Wilke, T.: A Dolev-Yao-based definition of abuse-free protocols. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 95-106. Springer, Heidelberg (2006)
Cortier, V., Küsters, R., Warinschi, B.: A cryptographic model for branching time security properties - the case of contract signing protocols. In: Biskup, J., López, J. (eds.) ESORICS 2007. LNCS, vol. 4734, pp. 422-437. Springer, Heidelberg (2007)
Henzinger, T.A., Majumdar, R., Mang, F.Y.C., Raskin, J.F.: Abstract interpretation of game properties. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol. 1824, pp. 220-239. Springer, Heidelberg (2000)