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.
2010In Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09)
Peer reviewed
 

Files


Full Text
FAST09.pdf
Author postprint (311.26 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



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
110 (0 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
3
WoS citations
 
6

Bibliography


Similar publications



Contact ORBilu