loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
Miami Beach, Florida, USA
December 10-December 14
ISBN: 0-7695-3060-5
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also im- plicit ones resulting from control flow. Unlike other ap- proaches that freeze policies at time of compilation, our system truly separates policy and enforcement mechanism and thereby permits policy changes even while a program is running. Ahead of execution, we run a static analysis that annotates an executable with information-flow information. During execution, we then use the annotations to safely up- date the labels of variables that lie in alternative paths of execution while enforcing the policy currently in place. Our framework doesn't require access to source code and is fully backward-compatible with existing Java class files. Prelim- inary benchmark results suggest that the run-time overhead of information flow techniques such as ours is well within acceptable range for many application domains.
Citation:
Deepak Chandra, Michael Franz, "Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine," acsac, pp.463-475, Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.