Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.

Nicoletta De Francesco Luca Martini Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. 63-80 2005 conf/ifip1-7/2005 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/11679219_6 db/conf/ifip1-7/fast2005.html#FrancescoM05