Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario

Christian Kraetzer, Ronny Merkel, Robert Altschaffel, Eric Clausing, Jana Dittmann. Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario. In Chad Heitzenrater, Scott Craver, Jana Dittmann, editors, Proceedings of the thirteenth ACM multimedia workshop on Multimedia and security, MM&Sec '11, Buffalo, New York, USA, September 29-30, 2011. pages 93-102, ACM, 2011. [doi]

Abstract

Abstract is missing.