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

Télécharger

Article (Périodiques scientifiques)

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

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

DOI
10.1016/j.cose.2016.09.002

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

COSE17.pdf

Postprint Auteur (466.96 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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)

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

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

Date de publication/diffusion :

2017

Titre du périodique :

Computers and Security

Volume/Tome :

Pagination :

405-432

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

Disponible sur ORBilu :

depuis le 25 mars 2017

Statistiques

Nombre de vues

194 (dont 3 Unilu)

Nombre de téléchargements

187 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™