Tamper-proofing Software Watermarking Scheme Based on Constant Encoding

2010 ◽  
Author(s):  
Zhu Jian-qi ◽  
Wang Ai-min ◽  
Liu Yan-heng
Keyword(s):  
Software Watermarking ◽  
Watermarking Scheme

H Function based Tamper-proofing Software Watermarking Scheme

2011 ◽  
Vol 6 (1) ◽  
Author(s):  
Jianqi Zhu ◽  
Yanheng Liu ◽  
Aimin Wang ◽  
Kexin Yin
Keyword(s):  
Software Watermarking ◽  
Watermarking Scheme

Semantics-based software watermarking by abstract interpretation

2018 ◽  
Vol 29 (2) ◽  
pp. 339-388
Author(s):  
MILA DALLA PREDA ◽  
MICHELE PASQUA
Keyword(s):  
Program Analysis ◽  
Program Transformation ◽  
Abstract Interpretation ◽  
Semantic Property ◽  
Software Protection ◽  
Formal Framework ◽  
Software Watermarking ◽  
Watermarking Scheme ◽  
Quality Features

Software watermarking is a software protection technique used to defend the intellectual property of proprietary code. In particular, software watermarking aims at preventing software piracy by embedding a signature, i.e. an identifier reliably representing the owner, in the code. When an illegal copy is made, the owner can claim his/her identity by extracting the signature. It is important to hide the signature in the program in order to make it difficult for the attacker to detect, tamper or remove it. In this work, we present a formal framework for software watermarking, based on program semantics and abstract interpretation, where attackers are modelled as abstract interpreters. In this setting, we can prove that the ability to identify signatures can be modelled as a completeness property of the attackers in the abstract interpretation framework. Indeed, hiding a signature in the code corresponds to embed it as a semantic property that can be retrieved only by attackers that are complete for it. Any abstract interpreter that is not complete for the property specifying the signature cannot detect, tamper or remove it. We formalize in the proposed framework the major quality features of a software watermarking technique: secrecy, resilience, transparence and accuracy. This provides a unifying framework for interpreting both watermarking schemes and attacks, and it allows us to formally compare the quality of different watermarking techniques. Indeed, a large number of watermarking techniques exist in the literature and they are typically evaluated with respect to their secrecy, resilience, transparence and accuracy to attacks. Formally identifying the attacks for which a watermarking scheme is secret, resilient, transparent or accurate can be a complex and error-prone task, since attacks and watermarking schemes are typically defined in different settings and using different languages (e.g. program transformation vs. program analysis), complicating the task of comparing one against the others.

Software watermarking scheme based on multivariate public key cryptosystem

2016 ◽  
Vol 21 (3) ◽  
pp. 257-261
Author(s):  
Xiaoyan Sun ◽  
Maosheng Zhang ◽  
Shaowu Mao ◽  
Zhengwei Ren ◽  
Huanguo Zhang
Keyword(s):  
Public Key ◽  
Public Key Cryptosystem ◽  
Multivariate Public Key ◽  
Software Watermarking ◽  
Watermarking Scheme
Sign in / Sign up

Export Citation Format

Share Document