A Fragile Software Watermarking for Tamper-Proof.
Changle ZhangHong PengXianzhong LongZheng PanYing WuPublished in: IAS (2009)
Keyphrases
- image authentication
- digital watermarking
- software systems
- semi fragile watermarking
- theorem proving
- software development
- digital images
- computer systems
- software architecture
- software tools
- user interface
- watermarking scheme
- software maintenance
- software design
- theorem prover
- software developers
- source code
- tamper detection