On the Rôle of Abstract Non-interference in Language-Based Security.

Isabella Mastroeni On the Rôle of Abstract Non-interference in Language-Based Security. 418-433 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_27 db/conf/aplas/aplas2005.html#Mastroeni05