Formal modelling and security analysis of bitcoin's payment protocol[J] COMPUTERS & SECURITY 2021(107) Modesti, Paolo Shahandashti, Siamak F. McCorry, Patrick Hao, Feng
