An abstract interpretation-based framework for software watermarking
An abstract interpretation-based framework for software watermarking
复制标题
DOI：
10.1145/964001.964016
复制
发表时间：
2004-01
期刊：
影响因子：
--
通讯作者：
P. Cousot;R. Cousot
中科院分区：
文献类型：
--
作者：
P. Cousot;R. Cousot
软件水印包括有意将不可磨灭的隐写签名或水印嵌入到主题软件中，并出于知识产权保护等目的提取嵌入在隐写程序中的隐写签名。我们引入了抽象软件水印的新概念。其基本思想是，水印隐藏在程序代码中，只有通过对该代码的具体语义(可能是非标准的)进行抽象解释才能提取水印。这种基于静态分析的方法允许即使只存在一小部分程序代码也可以恢复水印，并且甚至不需要执行该代码。我们通过一个简单的Java™类方法抽象水印协议来说明这一技术。这一概念同样适用于任何其他类型的软件(包括最初由软件指定的硬件)。
Software watermarking consists in the intentional embedding of indelible stegosignatures or watermarks into the subject software and extraction of the stegosignatures embedded in the stegoprograms for purposes such as intellectual property protection. We introduce the novel concept of abstract software watermarking. The basic idea is that the watermark is hidden in the program code in such a way that it can only be extracted by an abstract interpretation of the (maybe non-standard) concrete semantics of this code. This static analysis-based approach allows the watermark to be recovered even if only a small part of the program code is present and does not even need that code to be executed. We illustrate the technique by a simple abstract watermarking protocol for methods of Java™ classes. The concept applies equally well to any other kind of software (including hardware originally specified by software).