{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:25Z","timestamp":1750307125279,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T00:00:00Z","timestamp":1317254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,29]]},"DOI":"10.1145\/2037252.2037270","type":"proceedings-article","created":{"date-parts":[[2011,10,4]],"date-time":"2011-10-04T13:24:12Z","timestamp":1317734652000},"page":"93-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario"],"prefix":"10.1145","author":[{"given":"Christian","family":"Kraetzer","sequence":"first","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronny","family":"Merkel","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Altschaffel","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Clausing","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jana","family":"Dittmann","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Formal support to security protocol development: A survey. Computacion y Sistemas, 12(1)","author":"Pimental J. C. L.","year":"2008","unstructured":"J. C. L. Pimental and R. Monroy : Formal support to security protocol development: A survey. Computacion y Sistemas, 12(1) , 2008 . J. C. L. Pimental and R. Monroy: Formal support to security protocol development: A survey. Computacion y Sistemas, 12(1), 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854229.1854252"},{"key":"e_1_3_2_1_4_1","volume-title":"CASPER: A Compiler for the Analysis of Security Protocols. J. of Computer Security","author":"Lowe G.","year":"1998","unstructured":"G. Lowe : CASPER: A Compiler for the Analysis of Security Protocols. J. of Computer Security , Society Press , 1998 . G. Lowe: CASPER: A Compiler for the Analysis of Security Protocols. J. of Computer Security, Society Press, 1998."},{"key":"e_1_3_2_1_5_1","volume-title":"Formal Systems","author":"FDR","year":"2011","unstructured":"FDR user manual. Formal Systems ( Europe) Ltd ., http:\/\/www.fsel.com\/documentation\/fdr2\/html\/, May , 7th 2011 . FDR user manual. Formal Systems (Europe) Ltd., http:\/\/www.fsel.com\/documentation\/fdr2\/html\/, May, 7th 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232454.1232458"},{"key":"e_1_3_2_1_7_1","volume-title":"Recommendation for the Triple Data Encryption Algorithm (TDEA) Block Cipher","author":"Special NIST","year":"2008","unstructured":"NIST Special Publication 800--67 v1.1 : Recommendation for the Triple Data Encryption Algorithm (TDEA) Block Cipher , 2008 . NIST Special Publication 800--67 v1.1: Recommendation for the Triple Data Encryption Algorithm (TDEA) Block Cipher, 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"Computer Networks","author":"Tanenbaum A. S.","year":"2002","unstructured":"A. S. Tanenbaum : Computer Networks . 4 th ed., Prentice Hall , 2002 . A. S. Tanenbaum: Computer Networks. 4th ed., Prentice Hall, 2002.","edition":"4"},{"key":"e_1_3_2_1_9_1","volume-title":"Schneider: Modelling and analysis of security protocols","author":"Ryan P.","year":"2001","unstructured":"P. Ryan , S. Schneider: Modelling and analysis of security protocols , 2001 . P. Ryan, S. Schneider: Modelling and analysis of security protocols, 2001."},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science, Volume: 4567","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-540-77370-2_2","volume-title":"Proc. of Information Hiding '07","author":"Solanki K.","year":"2007","unstructured":"K. Solanki , A. Sarkar , B. Manjunath: YASS: Yet Another Steganographic Scheme That Resists Blind Steganalysis . In Proc. of Information Hiding '07 . Lecture Notes in Computer Science, Volume: 4567 , Springer Berlin \/ Heidelberg , pp. 16 -- 31 , 2007 . K. Solanki, A. Sarkar, B. Manjunath: YASS: Yet Another Steganographic Scheme That Resists Blind Steganalysis. In Proc. of Information Hiding '07. Lecture Notes in Computer Science, Volume: 4567, Springer Berlin \/ Heidelberg, pp.16--31, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/794199.795118"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"}],"event":{"name":"MM&Sec '11: Multimedia and Security Workshop","sponsor":["SIGMM ACM Special Interest Group on Multimedia"],"location":"Buffalo New York USA","acronym":"MM&Sec '11"},"container-title":["Proceedings of the thirteenth ACM multimedia workshop on Multimedia and security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037252.2037270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2037252.2037270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:29Z","timestamp":1750240109000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037252.2037270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,29]]},"references-count":11,"alternative-id":["10.1145\/2037252.2037270","10.1145\/2037252"],"URL":"https:\/\/doi.org\/10.1145\/2037252.2037270","relation":{},"subject":[],"published":{"date-parts":[[2011,9,29]]},"assertion":[{"value":"2011-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}