{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:49:09Z","timestamp":1725691749369},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322044"},{"type":"electronic","value":"9783642322051"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32205-1_26","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T06:09:01Z","timestamp":1342246141000},"page":"321-335","source":"Crossref","is-referenced-by-count":0,"title":["Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR"],"prefix":"10.1007","author":[{"given":"Ronny","family":"Merkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kraetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Altschaffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Clausing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maik","family":"Schott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jana","family":"Dittmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"26_CR1","first-page":"89","volume":"12","author":"J.C.L. Pimentel","year":"2008","unstructured":"Pimentel, J.C.L., Monroy, R.: Formal Support to Security Protocol Devel-opment: A Survey. Computaci\u00f3n y Sistemas\u00a012(1), 89\u2013108 (2008) ISSN 1405-5546","journal-title":"Computaci\u00f3n y Sistemas"},{"key":"26_CR2","unstructured":"Kraetzer, C., Merkel, R., Altschaffel, R., Clausing, E., Schott, M., Dittmann, J.: Modelling Watermark Communication Protocols using the CASPER Modelling Language. In: Proc. ACM Multimedia and Security Workshop 2010 (MMSec 2010), Rome, Italy, pp. S.67\u2013S.72. ACM Press, New York (2010) ISBN 978-1-450-30286-9"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Lowe, G.: CASPER: A Compiler for the Analysis of Security Protocols. Journal of Computer Security (1998)","DOI":"10.3233\/JCS-1998-61-204"},{"key":"26_CR4","unstructured":"FDR user manual. Formal Systems (Europe) Ltd., \n                    \n                      http:\/\/www.fsel.com\/documen-tation\/fdr2\/html\/\n                    \n                    \n                   (last accessed August 30, 2011)"},{"key":"26_CR5","unstructured":"Lowe, G., Broadfoot, P., Dilloway, C., Hui, M.L.: CASPER - A Compiler for the Analysis of Security Protocols. User Manual and Tutorial, Version 1.12, Oxford University Computing Lab (2009)"},{"key":"26_CR6","unstructured":"Roscoe, A.W.: Model-checking CSP. In: A Classical Mind: Essays in Honour of C. A. R. Hoare. Prentice Hall International (UK) Ltd. (1994)"},{"key":"26_CR7","unstructured":"Vigan\u00f2, L.: Automated Security Protocol Analysis with the AVISPA Tool. In: Proc. XXI Mathematical Foundations of Programming Semantics, MFPS 2005 (2005)"},{"key":"26_CR8","unstructured":"Reactive Objects Language, \n                    \n                      http:\/\/ece.ut.ac.ir\/FML\/rebeca.htm\n                    \n                    \n                   (last accessed August 30, 2011)"},{"key":"26_CR9","unstructured":"Song, D.X.: Athena: a new efficient automatic checker for security protocol analysis. In: Proceedings of the Twelfth IEEE Computer Security Foundations Workshop, pp. 192\u2013202. IEEE Computer Society Press (1999)"},{"key":"26_CR10","unstructured":"Fries Research Technology, \n                    \n                      http:\/\/www.frt-gmbh.com\/en\/\n                    \n                    \n                   (last accessed August 30, 2011)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Newman, R.: Computer forensics: evidence, collection, and management. Auerbach (2007)","DOI":"10.1201\/9780849305627"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Sheppard, N.P., Naini, R.S., Ogunbona, P.: On multiple watermarking. In: Proc. ACM Multimedia and Security Workshop 2001 Ottawa, Ontario, Canada, October 5, pp. 3\u20136. ACM (2001)","DOI":"10.1145\/1232454.1232458"},{"key":"26_CR13","unstructured":"Dittmann, J., Katzenbeisser, S., Schallhart, C., Veith, H.: Provably secure authentication of digital media through invertible watermarks. Cryptology ePrint Archive, Report 2004\/293 (2004), \n                    \n                      http:\/\/eprint.iacr.org\/"},{"issue":"4","key":"26_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/LSP.2006.884895","volume":"14","author":"D. Coltuc","year":"2007","unstructured":"Coltuc, D., Chassery, J.M.: Very fast watermarking by reversible contrast mapping. IEEE Signal Process. Lett.\u00a014(4), 255\u2013258 (2007)","journal-title":"IEEE Signal Process. Lett."},{"key":"26_CR15","unstructured":"Hui, M.L., Lowe, G.: Safe simplifying transformations for security protocols. In: 12th Computer Security Foundations Workshop Proceedings, pp. 32\u201343. IEEE Computer Society Press (1999)"}],"container-title":["Lecture Notes in Computer Science","Digital Forensics and Watermarking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32205-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:57:13Z","timestamp":1620115033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32205-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322044","9783642322051"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32205-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}