Reference : Formal modelling and analysis of receipt-free auction protocols in applied pi
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/30331
Formal modelling and analysis of receipt-free auction protocols in applied pi
English
Dong, Naipeng []
Jonker, Hugo []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
2017
Computers & Security
65
405-432
Yes
International
Researchers ; Professionals
http://hdl.handle.net/10993/30331
10.1016/j.cose.2016.09.002

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
COSE17.pdfAuthor preprint456.02 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.