Buyer–seller watermarking (BSW) protocols allow copyright protection of digital content. The protocol is anonymous when the identity of buyers is not revealed if they do not release pirated copies. Existing BSW protocols are not provided with a formal analysis of their security properties. We employ the ideal-world/real-world paradigm to propose a formal security definition for copyright protection protocols, and we analyze an anonymous BSW protocol and prove that it fulfills our definition. Additionally, we implement the protocol and measure its efficiency.
A Provably Secure Anonymous Buyer-Seller Watermarking Protocol / A. Rial; M. Deng; T. Bianchi; A. Piva; B. Preneel. - In: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY. - ISSN 1556-6013. - STAMPA. - 5 (4):(2010), pp. 920-931.
A Provably Secure Anonymous Buyer-Seller Watermarking Protocol
PIVA, ALESSANDRO;
2010
Abstract
Buyer–seller watermarking (BSW) protocols allow copyright protection of digital content. The protocol is anonymous when the identity of buyers is not revealed if they do not release pirated copies. Existing BSW protocols are not provided with a formal analysis of their security properties. We employ the ideal-world/real-world paradigm to propose a formal security definition for copyright protection protocols, and we analyze an anonymous BSW protocol and prove that it fulfills our definition. Additionally, we implement the protocol and measure its efficiency.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.