Formal modelling and analysis of receipt-free auction protocols in applied pi

Dong, Naipeng; Jonker, Hugo; Pang, Jun

doi:10.1016/j.cose.2016.09.002

Download

Article (Scientific journals)

Formal modelling and analysis of receipt-free auction protocols in applied pi

Dong, Naipeng; Jonker, Hugo; Pang, Jun

2017 • In Computers and Security, 65, p. 405-432

Peer reviewed

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

DOI
10.1016/j.cose.2016.09.002

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

COSE17.pdf

Author postprint (466.96 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

Author, co-author :

Dong, Naipeng

Jonker, Hugo

Pang, Jun ; 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)

External co-authors :

yes

Language :

English

Title :

Formal modelling and analysis of receipt-free auction protocols in applied pi

Publication date :

2017

Journal title :

Computers and Security

Volume :

Pages :

405-432

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

Available on ORBilu :

since 25 March 2017

Statistics

Number of views

131 (2 by Unilu)

Number of downloads

145 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™