Study on Chinese text digit watermarking algorithm
In order to improve the robustness of watermark,to adapt the text integrity testing needs,many literature advocates multiple watermarking redundancy embedding method,which relate to the blocked text.Based on Chinese characters structure,the design method of blocked text of Chinese characters and watermarking algorithm were put forward.The method has obvious features of Chinese characters,can effectively improve the robustness of watermark,and raise the watermark's recovery ability after being attacked.
Formal methods technique offer a means of verifying the correctness of the design process used to create the security protocol. Notwithstanding the successful verification of the design of security protocols, the implementation code for them may contain security flaws, due to the mistakes made by the programmers or bugs in the programming language itself. We propose an ACG-C# tool, which can be used to generate automatically C# implementation code for the security protocol verified with Casper and FDR. The ACG-C# approach has several different features, namely automatic code generation, secure code, and high confidence. We conduct a case study on the Yahalom security protocol, using ACG-C# to generate the C# implementation code.