摘要:This study offers an analysis on Whats new in software piracy when software applications move to the Cloud and develop rigorous theoretic treatment on applying software watermarking in the Cloud. The new analysis focus on the changes emerged with X-is-a-Service. The rigorous theoretic treatment of software watermarking involves ADT and trusted extract function. In particular, a DFA is employed to formally define embedding and extracting process. Rigorous treatment is the first and significant step to fight the new in software piracy. Its very vital to develop approaches that protect Cloud software from piracy.