{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T22:40:06Z","timestamp":1745188806610,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642354151"},{"type":"electronic","value":"9783642354168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35416-8_12","type":"book-chapter","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T03:35:58Z","timestamp":1352950558000},"page":"161-176","source":"Crossref","is-referenced-by-count":0,"title":["Payment Approval for PayWord"],"prefix":"10.1007","author":[{"given":"L\u00e1szl\u00f3","family":"Aszal\u00f3s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Huszti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile Values, New Names, and Secure Communication. In: 28th ACM Symposium on Principles of Programming Languages (POPL 2001), pp. 104\u2013115 (2001)","DOI":"10.1145\/373243.360213"},{"key":"12_CR2","unstructured":"Aszal\u00f3s, L., Huszti, A.: Applying Spi-calculus for Payword. In: Proceedings of ICAI 2010 8th International Conference on Applied Informatics, pp. 295\u2013302 (2010)"},{"key":"12_CR3","unstructured":"Azbel, I.: PayWord Micro-Payment Scheme. Strengths, Weaknesses and Proposed Improvements, http:\/\/citeseerx.ist.psu.edu\/"},{"issue":"1-2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10817-005-9018-6","volume":"36","author":"G. Bella","year":"2006","unstructured":"Bella, G., Massacci, F., Paulson, L.C.: Verifying the set purchase protocols. J. Autom. Reasoning\u00a036(1-2), 5\u201337 (2006)","journal-title":"J. Autom. Reasoning"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/49.839936","volume":"18","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Garay, J., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Van Herrenweghen, E., Waidner, M.: Design, Implementation and Deployment of the iKP Secure Electronic Payment System. IEEE Journal of Selected Areas in Communications\u00a018(4), 611\u2013627 (2000)","journal-title":"IEEE Journal of Selected Areas in Communications"},{"key":"12_CR6","unstructured":"Blanchet, B.: Automatic verification of correspondences for security protocols. Journal of Computer Security"},{"key":"12_CR7","unstructured":"Blanchet, B., Smyth, B.: ProVerif 1.85:Automatic Cryptographic Protocol Verifier, User Manual and Tutorial (2011), http:\/\/www.proverif.ens.fr\/manual.pdf"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Kusters, R., Truderung, T.: Using proverif to analyze protocols with diffie-hellman exponentiation. In: Computer Security Foundations Symposium, pp. 157\u2013171. IEEE (2009)","DOI":"10.1109\/CSF.2009.17"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: CSFW, pp. 18\u201330. IEEE Computer Society (1997)","DOI":"10.1109\/CSFW.1997.596779"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Meadows, C.: Language generation and verification in the nrl protocol analyzer. In: CSFW, pp. 48\u201361. IEEE Computer Society (1996)","DOI":"10.21236\/ADA465477"},{"key":"12_CR11","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated analysis of cryptographic protocols using mur-phi. In: IEEE Symposium on Security and Privacy, pp. 141\u2013151. IEEE Computer Society (1997)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-62494-5_6","volume-title":"Security Protocols","author":"R. Rivest","year":"1997","unstructured":"Rivest, R., Shamir, A.: PayWord and MicroMint: Two simple Micropayment Schemes. In: Lomas, M. (ed.) Security Protocols 1996. LNCS, vol.\u00a01189, pp. 69\u201387. Springer, Heidelberg (1997)"},{"key":"12_CR13","unstructured":"Javier Thayer, F., Herzog, J.C., Guttman, J.D.: Strand spaces: Why is a security protocol correct? In: IEEE Symposium on Security and Privacy, pp. 160\u2013171. IEEE Computer Society (1998)"},{"key":"12_CR14","unstructured":"Kou, W.: Payment Technologies for E-Commerce. Springer (1998)"}],"container-title":["Lecture Notes in Computer Science","Information Security Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35416-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T22:18:12Z","timestamp":1745187492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35416-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642354151","9783642354168"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35416-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}