构造一种新的混淆Java程序的不透明谓词  

Manufacture of a New Opaque Predicate for Java Programs

作　　者：袁征[1] 冯雁[1] 温巧燕[2] 张华[2] 

机构地区：[1]北京电子科技学院信息安全系 [2]北京邮电大学理学院,北京100876

出　　处：《北京邮电大学学报》2007年第6期103-106,共4页Journal of Beijing University of Posts and Telecommunications

基　　金：国家"973计划"项目(2007CB807902);北京电子科技学院工程课题(06五系JAVA);北京市高等学校教育改革立项项目

摘　　要：不透明谓词是实现混淆的关键,利用同余方程构造了一种混淆Java程序的不透明谓词簇,首次采用密钥和不定方程判断不透明谓词的输出.该不透明谓词是单向陷门的,具有弹性高、秘密性好和实现简易的特性;该不透明谓词是动态的,可以抵抗软件的静态和动态的攻击,也具有密码安全性.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.

关 键 词：Java混淆 不透明渭词 同余方程 不定方程 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]