{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:48:46Z","timestamp":1725475726314},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679233"},{"type":"electronic","value":"9783540445340"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721064_2","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T17:53:12Z","timestamp":1167414792000},"page":"19-28","source":"Crossref","is-referenced-by-count":0,"title":["An Operational Model of QuickPay"],"prefix":"10.1007","author":[{"given":"Pieter H.","family":"Hartel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jake","family":"Hill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Sims","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"UK BT Research laboratories, Martlesham Heath. Transaction system. GB Patent application no. 9624127.8 (1996)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Glassman, S., Manasse, M., Abadi, M., Gauthier, P., Sobalvarro, P.G.: The millicent protocol for inexpensive electronic commerce. In: 4th Int. World Wide Web Conf., pp. 603\u2013618, Boston, Massachusetts (December 1995), World Wide Web J. http:\/\/www.research.digital.com\/SRC\/staff\/msm\/bio.html","DOI":"10.1145\/3592626.3592675"},{"key":"2_CR3","unstructured":"Hartel, P.H.: LATOS \u2013 a lightweight animation tool for operational semantics. Technical report DSSE-TR-97-1, Dept. of Electr. and Comp. Sci, Univ. of Southampton, England (October 1997), http:\/\/www.ecs.soton.ac.uk\/~phh\/latos.html"},{"key":"2_CR4","unstructured":"Hartel, P.H., Hill, J., Sims, M.: An operational model of QuickPay. Declarative Systems & Software Engineering Technical Reports DSSE-TR-98-4, Univ. of Southampton (September 1998), http:\/\/www.dsse.ecs.soton.ac.uk\/techreports\/98-4.html"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Herzberg, A., Yochai, H.: Mini-Pay: Charging per click on the web. In: Computer networks and ISDN systems (Proc. 6th Int. WWW Conf.), vol.\u00a029(8-13), pp. 939\u2013951 (April 1997)","DOI":"10.1016\/S0169-7552(97)00066-4"},{"key":"2_CR6","unstructured":"Hill, J., Sims, M.: QuickPay: Prepaid micropayments. Technical report in preparation, BT Research laboratories, Martlesham Heath, UK (1998)"}],"container-title":["Lecture Notes in Computer Science","Smart Card Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721064_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:33:54Z","timestamp":1707500034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721064_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679233","9783540445340"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/10721064_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}