{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T00:39:38Z","timestamp":1648687178072},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["DuD"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11623-009-0191-3","type":"journal-article","created":{"date-parts":[[2009,12,12]],"date-time":"2009-12-12T06:47:31Z","timestamp":1260600451000},"page":"719-722","source":"Crossref","is-referenced-by-count":0,"title":["Formale Sicherheitsanalyse von Online-Banking-Protokollen"],"prefix":"10.1007","volume":"33","author":[{"given":"Hans-Joachim","family":"Knobloch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,13]]},"reference":[{"key":"191_CR1","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1989","unstructured":"M. Burrows, M. Abadi, R. M. Needham, A Logic of Authentication, in: Proceedings of the Royal Society of London A v 426 (1989), pp. 233\u2013271.","journal-title":"Proceedings of the Royal Society of London A"},{"issue":"1","key":"191_CR2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"M. Burrows, M. Abadi, R. M. Needham, A Logic of Authentication, in: ACM Transaction on Computer Systems, Vol. 8, No. 1, Feb. 1990, pp. 18\u201336. http:\/\/www.stanford.edu\/class\/cs259\/www06\/papers\/ban1990.pdf","journal-title":"ACM Transaction on Computer Systems"},{"key":"191_CR3","unstructured":"Neumann, Heike; Kessler, Volker: Formale Analyse von kryptographischen Protokollen mit BAN-Logik. DuD 2\/1999, S. 90\u201393."},{"key":"191_CR4","volume-title":"The Formal Verification of a Payment System","author":"R. J. Anderson","year":"1997","unstructured":"R. J. Anderson, The Formal Verification of a Payment System, Technical report, Computer Lab, Univ. of Cambridge, UK, 1997. http:\/\/www.cl.cam.ac.uk\/~rja14\/Pape rs\/uepsbook.pdf"},{"key":"191_CR5","doi-asserted-by":"crossref","unstructured":"S. Drimer, S. J. Murdoch, R. J. Anderson, Optimised to fail: Card readers for online banking, Financial Cryptography and Data Security, Rockley, Barbados, 23\u201326 February 2009. http:\/\/www.cl.cam.ac.uk\/~sjm217\/papers\/fc09optimised.pdf","DOI":"10.1007\/978-3-642-03549-4_11"}],"container-title":["Datenschutz und Datensicherheit - DuD"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11623-009-0191-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11623-009-0191-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11623-009-0191-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:20:56Z","timestamp":1559413256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11623-009-0191-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":5,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s11623-009-0191-3","relation":{},"ISSN":["1614-0702","1862-2607"],"issn-type":[{"value":"1614-0702","type":"print"},{"value":"1862-2607","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}