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 [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
Open access
ISSE12.pdfAuthor postprint318.21 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.