Fulltext present in this item

Thumbnail
Fulltext: 173190.pdf
Format: PDF
Description: preprint version
Title: Formal modelling and analysis of receipt-free auction protocols in applied pi
Author(s): Dong, N.; Jonker, H.L.; Pang, J.
Publication year: 2017
Source: Computers & Security, vol. 65, (2017), pp. 405-432
ISSN: 0167-4048
DOI: http://dx.doi.org/10.1016/j.cose.2016.09.002
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/173190   https://hdl.handle.net/2066/173190

Display more details
Subject: Digital Security
Organization: Digital Security
Journal title:
Computers & Security
Volume: vol. 65
Page start: p. 405
Page end: p. 432

This item appears in the following Collection(s)

Browse

Statistics