loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Second International Conference on Availability, Reliability and Security (ARES'07)
Applications for Provably Secure Intent Protection with Bounded Input-Size Programs
Vienna, Austria
April 10-April 13
ISBN: 0-7695-2775-2
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.