Catherine Meadows, Paul F. Syverson. A Formal Specification of Requirements for Payment Transactions in the SET Protocol. In Rafael Hirschfeld, editor, Financial Cryptography, Second International Conference, FC 98, Anguilla, British West Indies, February 23-25, 1998, Proceedings. Volume 1465 of Lecture Notes in Computer Science, pages 122-140, Springer, 1998. [doi]
Abstract is missing.