@inproceedings{GM04,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation},
        booktitle = {Proc. of the  31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'04)},
        publisher = {ACM-Press, NY},
        pages = {186-197},
        year = 2004,
        note = Venice, Italy, January 14-16,2004}