@inproceedings{gm05mmmacns,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata},
        booktitle = {Third International Workshop "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS'05).},
        volume = {3685},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer-Verlag},
        pages = {221-234},
        year = 2005}