Nicoletta De Francesco Luca Martini Instruction-level security typing by abstract interpretation. 85-106 2007 6 Int. J. Inf. Sec. 2-3 http://dx.doi.org/10.1007/s10207-007-0015-0 db/journals/ijisec/ijisec6.html#FrancescoM07