OF UNICORNS AND RANDOM PROGRAMS

摘要

We provide a theoretical and practical notion of white-box security for protecting integrity and privacy of software. This notion provides a useful framework to analyze and implement software encryption mechanisms. We relate strength of program encryption to properties of random programs and take a purposefully different view of security than the traditionally cited virtual black-box method of Barek et al. [1]. We pose and answer several questions of interest: what are random programs, do they exist, and how can they be used to evaluate effectiveness of proposed algorithms. Further, a theoretical foundation for program security based on the random oracle model is defined using our definition of random programs.