A Fragile Software Watermarking for Tamper-Proof

A fragile software watermarking scheme for integrity verification of software is proposed in this paper. The algorithm uses the idea of semantic-preserving code substitution for embedding the watermark. With the system, the generated watermark relates closely to the content of software, and the scheme has highly sensitive to different types of attacks. Furthermore, both watermark generating controlled by a key and watermark embedding position under the control of another key enhance the security of watermarking scheme. The scheme not only can effectively detect tampering, but also has the ability to identify the type of tampering clearly.