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
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/ARES.2007.40
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.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||