Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

Modesti, Paolo, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847, McCorry, Patrick et al. (1 more author) (2021) Formal Modelling and Security Analysis of Bitcoin's Payment Protocol. Computers & Security. 102279. ISSN 0167-4048

Abstract

Metadata

Authors/Creators:
Keywords: Bitcoin,bitcoin security,bitcoin payment protocol,Payment Security,Refund Attack,formal modelling,Security analysis,OFMC,AnB,Computer Science (miscellaneous)
Dates:
  • Accepted: 7 March 2021
  • Published: August 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 16 Mar 2021 10:50
Last Modified: 26 Sep 2021 10:34
Published Version: https://doi.org/10.1016/j.cose.2021.102279
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.cose.2021.102279
Related URLs:

Download

Accepted Version


Under temporary embargo

Filename: Formal_Modelling_and_Security_Analysis_of_Bitcoin_s_Payment_Protocol.pdf

Description: Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

Licence: CC-BY-NC-ND 2.5

Request a copy

file not available

Share / Export

Statistics