Modular string-sensitive permission analysis with demand-driven precision | IEEE Conference Publication | IEEE Xplore

Modular string-sensitive permission analysis with demand-driven precision


Abstract:

In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restri...Show More

Abstract:

In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. What permissions should be granted to each component? Too few permissions may cause run-time authorization failures, too many constitute a security hole. We have designed and implemented a composite algorithm for precise static permission analysis for Java and the CLR. Unlike previous work, the analysis is modular and fully integrated with a novel slicing-based string analysis that is used to statically compute the string values defining a permission and disambiguate permission propagation paths. The results of our research prototype on production-level Java code support the effectiveness, practicality, and precision of our techniques, and show outstanding improvement over previous work.
Date of Conference: 16-24 May 2009
Date Added to IEEE Xplore: 10 June 2009
Print ISBN:978-1-4244-3453-4

ISSN Information:

Conference Location: Vancouver, BC, Canada

Contact IEEE to Subscribe

References

References is not available for this document.