Manufacture of a New Opaque Predicate for Java Programs
Hua Zhang · Beijing Youdian Xueyuan xuebao · 2007
Most of developers protect their Java programs by code obfuscation,and opaque predicates act as tools for obfuscating control flow logic embedded within code.A new method of using congruent equation to construct a family of opaque predicates for Java programs is presented.Additionally,key and Diophantine equation is first exploited for estimating output of opaque predicates.The opaque predicates are trapdoor one-way being more resilient,stealthier and cheaper.The opaque predicates are dynamic and secure against all usual types of static attacks and dynamic attacks,and also secure against cryptanalysis.