Information flow control for Java based on path conditions in dependence graphs (2006)

by C Hammer, J Krinke, G Snelting
Venue:In IEEE International Symposium on Secure Software Engineering