A Formal Specification of Requirements for Payment Transactions in the SET Protocol

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]

Authors

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google

Paul F. Syverson

This author has not been identified. Look up 'Paul F. Syverson' in Google