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

by C Hammer, J Krinke, Snelting
Venue:In: Proc. IEEE International Symposium on Secure Software Engineering (ISSSE’06