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]
@inproceedings{MeadowsS98, title = {A Formal Specification of Requirements for Payment Transactions in the SET Protocol}, author = {Catherine Meadows and Paul F. Syverson}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1465/14650122.htm}, tags = {protocol}, researchr = {https://researchr.org/publication/MeadowsS98}, cites = {0}, citedby = {0}, pages = {122-140}, booktitle = {Financial Cryptography, Second International Conference, FC 98, Anguilla, British West Indies, February 23-25, 1998, Proceedings}, editor = {Rafael Hirschfeld}, volume = {1465}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64951-4}, }