Gethin J. Norman, Vitaly Shmatikov. Analysis of Probabilistic Contract Signing. In Ali E. Abdallah, Peter Ryan, Steve Schneider, editors, Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Volume 2629 of Lecture Notes in Computer Science, pages 81-96, Springer, 2002. [doi]
Abstract is missing.