{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:13Z","timestamp":1725493453208},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007081"},{"type":"electronic","value":"9783540365327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36532-x_25","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:34:36Z","timestamp":1193340876000},"page":"441-460","source":"Crossref","is-referenced-by-count":12,"title":["Formal Analysis of the iKP Electronic Payment Protocols"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Ogata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"25_CR1","unstructured":"Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP-a family of secure electronic payment protocols. In: First USENIX Workshop on Electronic Commerce (1995) 89\u2013106 ( http:\/\/www.usenix.org\/publications\/library\/proceedings\/ec95 )."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/49.839936","volume":"18","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Herreweghen, E.V., Waidner, M.: Design, implementation and deployment of the iKP secure electronic payment system. IEEE Journal of Selected Areas in Communications 18 (2000) 611\u2013627","journal-title":"IEEE Journal of Selected Areas in Communications"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. (to appear)","DOI":"10.1016\/S0020-0190(02)00480-5"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ report. AMAST Series in Computing, 6. World Scientific, Singapore (1998)","DOI":"10.1142\/3831"},{"key":"25_CR5","unstructured":"Futatsugi, K., Ogata, K.: Rewriting can verify distributed real-time systems. In: Int\u2019l Symposium on Rewriting, Proof, and Computation. (2001) 60\u201379"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Rewriting-based verification of authentication protocols. In: WRLA\u2019 02. Volume 71 of ENTCS., Elsevier Science Publishers (2002)","DOI":"10.1016\/S1571-0661(05)82536-8"},{"key":"25_CR7","unstructured":"Cox, B., Tygar, J.D., Sirbu, M.: NetBill security and transaction protocol. In: First USENIX Workshop on Electronic Commerce. (1995) 77\u201388"},{"key":"25_CR8","unstructured":"Lynch, N.A.: Distributed algorithms. Morgan-Kaufmann (1996)"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inform. Theory IT-29 (1983) 198\u2013208","journal-title":"IEEE Trans. Inform. Theory"},{"key":"25_CR10","unstructured":"Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP-a family of secure electronic payment protocols (working draft). http:\/\/citeseer.nj.nec.com\/bellare95ikp.html (1995)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1109\/32.502224","volume":"22","author":"R. Kailar","year":"1996","unstructured":"Kailar, R.: Accountability in electronic commerce protocols. IEEE Trans. Softw. Eng. 22 (1996) 313\u2013328","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR12","unstructured":"Clarke, E., Jha, S., Marrero, W.: A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. In: Workshop on Formal Methods and Security Protocols. (1998)"},{"key":"25_CR13","unstructured":"Heintze, N., Tygar, J., Wing, J., Wong, H.C.: Model checking electronic commerce protocols. In: Second USENIXWorkshop on Electronic Commerce. (1996) 147\u2013164"},{"key":"25_CR14","unstructured":"Lu, S., Smolka, S.A.: Model checking the Secure Electronic Transaction (SET) protocol. In: MASCOTS\u2019 99. (1999) 358\u2013365"},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. J. Comput. Security 6 (1998) 85\u2013128","journal-title":"J. Comput. Security"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L.C. Paulson","year":"1999","unstructured":"Paulson, L.C.: Inductive analysis of the internet protocol TLS. ACM Trans. Infom. and Sys. Sec. 2 (1999) 332\u2013351","journal-title":"ACM Trans. Infom. and Sys. Sec."},{"key":"25_CR17","series-title":"Lect Notes Comput Sci","first-page":"159","volume-title":"ESORICS 2000","author":"G. Bella","year":"1997","unstructured":"Bella, G., Massacci, F., Paulson, L.C., Tramontano, P.: Formal verification of Cardholder Registration in SET. In: ESORICS 2000. LNCS 1709, Springer (1997) 159\u2013174"},{"key":"25_CR18","unstructured":"Bella, G., Massacci, F., Paulson, L.C.: Verifying the SET purchase protocols. http:\/\/citeseer.nj.nec.com\/503068.html (2001)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Bolignano, D.: Towards the formal verification of electronic commerce,. In: 10th IEEE CSFW. (1997) 133\u2013146","DOI":"10.1109\/CSFW.1997.596802"},{"key":"25_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/BFb0055477","volume-title":"FC\u2019 98","author":"C. Meadows","year":"1998","unstructured":"Meadows, C., Syverson, P.: A formal specification of requirements for payment transactions in the SET protocol. In: FC\u2019 98. LNCS 1465, Springer (1998) 122\u2013140"}],"container-title":["Lecture Notes in Computer Science","Software Security \u2014 Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36532-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:22:42Z","timestamp":1684074162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36532-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007081","9783540365327"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36532-x_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}