Reference : Game-based verification of contract signing protocols with minimal messages
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/216
Game-based verification of contract signing protocols with minimal messages
English
Zhang, Ying [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Zhang, Chenyi [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
Innovations in Systems and Software Engineering
Springer-Verlag
8
111-124
Yes
International
1614-5046
1614-5054
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/216

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ISSE12.pdfAuthor preprint318.21 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.