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

Naipeng Dong*, Hugo Jonker, Jun Pang

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)405-432
Number of pages28
JournalComputers & Security
Volume65
DOIs
Publication statusPublished - Mar 2017

Keywords

  • E-auction
  • Security protocol
  • Formal verification
  • Bidding-price-secrecy
  • Receipt-freeness
  • SECURITY PROTOCOLS
  • VERIFICATION
  • CALCULUS
  • SECRECY

Cite this

@article{f242f0d628794b909d5076cac158ef91,
title = "Formal modelling and analysis of receipt-free auction protocols in applied pi",
keywords = "E-auction, Security protocol, Formal verification, Bidding-price-secrecy, Receipt-freeness, SECURITY PROTOCOLS, VERIFICATION, CALCULUS, SECRECY",
author = "Naipeng Dong and Hugo Jonker and Jun Pang",
year = "2017",
month = "3",
doi = "10.1016/j.cose.2016.09.002",
language = "English",
volume = "65",
pages = "405--432",
journal = "Computers & Security",
issn = "0167-4048",
publisher = "Elsevier Advanced Technology",

}

Formal modelling and analysis of receipt-free auction protocols in applied pi. / Dong, Naipeng; Jonker, Hugo; Pang, Jun.

In: Computers & Security, Vol. 65, 03.2017, p. 405-432.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

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

AU - Dong, Naipeng

AU - Jonker, Hugo

AU - Pang, Jun

PY - 2017/3

Y1 - 2017/3

KW - E-auction

KW - Security protocol

KW - Formal verification

KW - Bidding-price-secrecy

KW - Receipt-freeness

KW - SECURITY PROTOCOLS

KW - VERIFICATION

KW - CALCULUS

KW - SECRECY

U2 - 10.1016/j.cose.2016.09.002

DO - 10.1016/j.cose.2016.09.002

M3 - Article

VL - 65

SP - 405

EP - 432

JO - Computers & Security

JF - Computers & Security

SN - 0167-4048

ER -