Manufacture of a New Opaque Predicate for Java Programs

doi:10.13190/jbupt.200706.103.031

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2007, Vol. 30 ›› Issue (6): 103-106.doi: 10.13190/jbupt.200706.103.031

• Reports • Previous Articles Next Articles

Manufacture of a New Opaque Predicate for Java Programs

YUAN Zheng1,2, 3 , FENG Yan1, WEN Qiao-yan3, ZHANG Hua3

( 1. Department of information security, Beijing Electronic Science and Technology Institute, Beijing 100070,China; 2. The Center for Advanced Study, Tsinghua University,Beijing 100084,China; 3. School of Science, Beijing University of Posts and Telecommunications, Beijing100876,China)

Received:2007-01-01 Revised:2007-10-09 Online:2007-12-31 Published:2007-12-31
Contact: YUAN Zheng

Abstract

Abstract:

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.

Key words: Java obfuscating, opaque predicates, congruential equation, Diophantine equation

CLC Number:

TP309

YUAN Zheng1,2, 3 , FENG Yan1, WEN Qiao-yan3, ZHANG Hua3. Manufacture of a New Opaque Predicate for Java Programs[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2007, 30(6): 103-106.

References

[1] Collberg C, Thomborson C D. Low manufacturing cheap, resilient, and stealthy opaque constructs//Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. California: ACM, 1998: 184-196.
[2] Barak B, Goldreich O, Impagliazzo R, et al. On the (im)possibility of obfuscating programs//Proc of CRYPTO-2001,LNCS 2139. Berlin: Springer-Verlag, 2001: 1-18.
[3] 刘晓英, 沈金龙. 软件开发中的一个重要环节——混淆[J]. 南京邮电大学学报, 2004, 24(1): 59-63.
[4] Arboit G. A method for watermarking Java programs via opaque predicates//International Conference on Electronic Commerce Research (ICECR-5). Montreal:, 2002: 124-131.
[5] Myles G, Collberg C. Software watermarking via opaque predicates: implementation, analysis, and attacks[J]. Electron Commerce Research, 2006, 4(6): 155-171.
[6] Yuan Zheng, Wen Qiaoyan, Wu Wenling, et al. An ID-based watermarking scheme for Java programs//EUC Workshops 2006. Berlin: Springer-Verlag, 2006: 848-857.
[7] 潘承洞, 潘承彪. 初等数论[M]. 北京: 北京大学出版社, 1991. Pan Chengdong, Pan Chengbiao. Elementary numbers theory[M]. Beijing: Beijing University Publishing Company, 1991.
[8] Collberg C. CS 620 security through obscurity. (2002). http://www. cs. arizona. edu/. collberg/Teaching/SoftwareSecurity. html.
[9] 李必信, 刘晓东, 郑滔, 等. 一种面向程序的分层切片方法[J]. 软件学报, 2001, 12(12): 1810-1817. Li Bixin, Liu Xiaodong, Zheng Tao, et al. An approach for hierarchy slicing object-oriented program[J]. Journal of Software, 2001, 12(12): 1810-1817.
[10] ?Alcianu S A, Rinard M. Pointer and escape analysis for multithreaded programs//Proc of 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '01). Snowbird: ACM, 2001: 12-23.

[1]	ZHANG Jun, WU Ji-yi. Provable Secure Efficient Arbitrated Quantum Signature Scheme [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(2): 113-116.
[2]	PAN Ping, WANG Li-cheng, YANG Yi-xian. Blind Signature Over Inner Automorphism Group [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2012, 35(6): 83-86.
[3]	ZHANG Wei-ren, HU Yu-pu, YANG Xiao-yuan. A New Identity-Based Broadcast Encryption Scheme over Lattice [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2012, 35(6): 112-115.
[4]	. A Privacy Preserving GroupBuying Auction and Its Extension [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2012, 35(3): 99-102.
[5]	. Mixed Gaussian Based Subjective Trust Model for Sensor Networks [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2012, 35(2): 46-49.
[6]	. Applications of Function Summary in Concolic Testing [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2012, 35(1): 24-27.
[7]	. Cryptanalysis and Improvement of a Certificateless  Strong Proxy Signature Scheme [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2011, 34(5): 115-118.
[8]	ZHENG Kang-feng. Detecting DDoS Attack with Hurst Parameter of Marginal Spectrum [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2011, 34(5): 128-132.
[9]	. Improved Direct Anonymous Attestation Scheme [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2011, 34(3): 62-65.
[10]	WU Huan, PAN Lin, WANG Xiao-zhen, XU Rong-sheng. A Risk Assessment Model Using Incomplete Attack Graphs Analysis [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(3): 57-61.
[11]	YUAN Feng, HU Yu-pu, LI Xun-bo, OU Hai-wen. On the Equivalent Keys of Multivariate Public Key Cryptography [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(3): 97-101.
[12]	ZHENG Kang-feng^1,2；WANG Xiu-juan³；GUO Shi-ze²；YANG Yi-xian¹. Evaluation Model on Service Quality of Information System Based on Users Appraisal [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(1): 84-88.
[13]	XU Guo-ai1, ZHANG Miao1, CHEN Ai-guo1, LI Zhong-xian2 . An Integer Overflow Detection Method Based on Integer Variable Unification [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(6): 90-93.
[14]	WANG Zhi-wei 1, ZHENG Shi-hui1, YANG Yi-xian1, ZHANG Zhi-hui2. A New Construction of Probabilistic Multivariate Signature Scheme [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(6): 26-29.
[15]	CUI Wei1，XIN Yang1，HU Cheng-yu2，YANG Yi-xian1，LI Zhong-xian1,3 . Efficient ID-Based (Restrictive) Partially Blind Signature [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(4): 53-57.

Manufacture of a New Opaque Predicate for Java Programs

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments