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