@inproceedings{conf/fc/MeadowsS98,
  added-at = {2023-09-19T00:00:00.000+0200},
  author = {Meadows, Catherine and Syverson, Paul F.},
  biburl = {https://www.bibsonomy.org/bibtex/20b27656a71f31c490640c885648be7dc/dblp},
  booktitle = {Financial Cryptography},
  crossref = {conf/fc/1998},
  editor = {Hirschfeld, Rafael},
  ee = {https://doi.org/10.1007/BFb0055477},
  interhash = {913bcc6157416edf5deda535bd538513},
  intrahash = {0b27656a71f31c490640c885648be7dc},
  isbn = {3-540-64951-4},
  keywords = {dblp},
  pages = {122-140},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-04-10T15:14:10.000+0200},
  title = {A Formal Specification of Requirements for Payment Transactions in the SET Protocol.},
  url = {http://dblp.uni-trier.de/db/conf/fc/fc1998.html#MeadowsS98},
  volume = 1465,
  year = 1998
}

{"_id":"vQzbv34DDMtHcaNyL","bibbaseid":"meadows-syverson-aformalspecificationofrequirementsforpaymenttransactionsinthesetprotocol-1998","author_short":["Meadows, C.","Syverson, P. F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]},{"propositions":[],"lastnames":["Syverson"],"firstnames":["Paul","F."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20b27656a71f31c490640c885648be7dc/dblp","booktitle":"Financial Cryptography","crossref":"conf/fc/1998","editor":[{"propositions":[],"lastnames":["Hirschfeld"],"firstnames":["Rafael"],"suffixes":[]}],"ee":"https://doi.org/10.1007/BFb0055477","interhash":"913bcc6157416edf5deda535bd538513","intrahash":"0b27656a71f31c490640c885648be7dc","isbn":"3-540-64951-4","keywords":"dblp","pages":"122-140","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-04-10T15:14:10.000+0200","title":"A Formal Specification of Requirements for Payment Transactions in the SET Protocol.","url":"http://dblp.uni-trier.de/db/conf/fc/fc1998.html#MeadowsS98","volume":"1465","year":"1998","bibtex":"@inproceedings{conf/fc/MeadowsS98,\n added-at = {2023-09-19T00:00:00.000+0200},\n author = {Meadows, Catherine and Syverson, Paul F.},\n biburl = {https://www.bibsonomy.org/bibtex/20b27656a71f31c490640c885648be7dc/dblp},\n booktitle = {Financial Cryptography},\n crossref = {conf/fc/1998},\n editor = {Hirschfeld, Rafael},\n ee = {https://doi.org/10.1007/BFb0055477},\n interhash = {913bcc6157416edf5deda535bd538513},\n intrahash = {0b27656a71f31c490640c885648be7dc},\n isbn = {3-540-64951-4},\n keywords = {dblp},\n pages = {122-140},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-04-10T15:14:10.000+0200},\n title = {A Formal Specification of Requirements for Payment Transactions in the SET Protocol.},\n url = {http://dblp.uni-trier.de/db/conf/fc/fc1998.html#MeadowsS98},\n volume = 1465,\n year = 1998\n}\n\n","author_short":["Meadows, C.","Syverson, P. F."],"editor_short":["Hirschfeld, R."],"key":"conf/fc/MeadowsS98","id":"conf/fc/MeadowsS98","bibbaseid":"meadows-syverson-aformalspecificationofrequirementsforpaymenttransactionsinthesetprotocol-1998","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0055477","Paper":"http://dblp.uni-trier.de/db/conf/fc/fc1998.html#MeadowsS98"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["formal","specification","requirements","payment","transactions","set","protocol","meadows","syverson"],"title":"A Formal Specification of Requirements for Payment Transactions in the SET Protocol.","year":1998}