Roberto Giacobazzi, Isabella Mastroeni. Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. In Vladimir Gorodetsky, Igor V. Kotenko, Victor A. Skormin, editors, Computer Network Security, Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings. Volume 3685 of Lecture Notes in Computer Science, pages 221-234, Springer, 2005. [doi]
Abstract is missing.