Huang, Mu, Susilo, Wu, Xiang, 2010. Further Observations on Optimistic Fair Exchange Protocols in the Multi-user Setting, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-13013-7_8