loading...
Applications for Provably Secure Intent Protection with Bounded Input-Size Programs
Vienna, Austria April 10-April 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2007.40The Second International Conference o ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
J. Todd McDonald, Air Force Institute of Technology, Wright Patterson AFB, OH
Alec Yasinsac, Florida State University
The de facto standard program obfuscation security model, termed the virtual black box (VBB), declares a program to be securely obfuscated if and only if an adversary can prove no more when given the obfuscated code than it can when only given oracle access to the original program. In this paper, we define and give methodology for a perfectly secure program intent obfuscation that is general and practical for bounded input-size programs, including those with input/output relationships that are easily learned. We also lay foundations for how to embed a key securely in a private-key encryption setting using such constructions.
Citation:
J. Todd McDonald, Alec Yasinsac, "Applications for Provably Secure Intent Protection with Bounded Input-Size Programs," ares, pp.286-293, The Second International Conference on Availability, Reliability and Security (ARES'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.