Analyzing Non-Interference with respect to Classes.

Damiano Zanardini Analyzing Non-Interference with respect to Classes. 57-69 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#Zanardini07