{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:51Z","timestamp":1725551871931},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309000"},{"type":"electronic","value":"9783540322931"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11600930_34","type":"book-chapter","created":{"date-parts":[[2005,11,24]],"date-time":"2005-11-24T09:48:12Z","timestamp":1132825692000},"page":"346-355","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Analysis of Money Accountability in Electronic Purses"],"prefix":"10.1007","author":[{"given":"Il-Gon","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young-Joo","family":"Moon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inhye","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji-Yeon","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keun-Hee","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"CEPSCO, Common Electronic Purse Specification, Business Requirements vers. 7.0, Functional Requirements vers. 6.3, Technical Specification vers.2.2 (2000), http:\/\/www.cepsco.com"},{"key":"34_CR2","unstructured":"Cox, B., Tygar, J.D., Sirbu, M.: NetBill Security and Transaction Protocol. In: Proceedings of the First USENIX Workshop in Electronic Commerce, July 1995, pp. 77\u201388 (1995)"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","first-page":"146","volume-title":"Proceedings of the 2nd USENIX Workshop in Electronic Commerce","author":"N. Heintze","year":"1996","unstructured":"Heintze, N., Tygar, J., Wing, J., Wong, H.: Model Checking Electronic Commerce Protocols. In: Adam, N.R., Yesha, Y. (eds.) Electronic Commerce 1994. LNCS, vol.\u00a01028, pp. 146\u2013164. Springer, Heidelberg (1996)"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","first-page":"200","volume-title":"Advances in Cryptology - CRYPTO \u201988","author":"A. Flat","year":"1990","unstructured":"Flat, A., Chaaum, D., Naor, M.: Untraceable Electronic Cash. In: Goldwasser, S. (ed.) CRYPTO 1988. LNCS, vol.\u00a0403, pp. 200\u2013212. Springer, Heidelberg (1990)"},{"key":"34_CR5","unstructured":"Kim, I.G., Kim, H.S., Lee, J.Y., Choi, J.Y.: Analysis and Modification of ASK Mobile Security Protocol. In: Proceedings of the Second IEEE International Workshop on Mobile Commerce and Services, July 2005, pp. 79\u201383 (2005)"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Wimmel, G.: Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. In: Proceedings of the IFIP conference on towards the E-society, pp. 489\u2013506 (2001)","DOI":"10.1007\/0-306-47009-8_36"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Ray, I., Ray, I.: Failure Analysis and E-commerce Protocol using Model Checking. In: Proceedings of the Second International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems, June 2000, pp. 176\u2013183 (2000)","DOI":"10.1109\/WECWIS.2000.853873"}],"container-title":["Lecture Notes in Computer Science","Internet and Network Economics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11600930_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:01:19Z","timestamp":1619492479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11600930_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309000","9783540322931"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11600930_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}