Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.

Roberto Giacobazzi Isabella Mastroeni Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. 221-234 2005 conf/mmmacns/2005 MMM-ACNS http://dx.doi.org/10.1007/11560326_17 db/conf/mmmacns/mmmacns2005.html#GiacobazziM05