@article{GM10,
 author = {R. Giacobazzi and I. Mastroeni},
 title = {Adjoining classified and unclassified information by abstract interpretation},
 journal = {J. Comput. Secur.},
 volume = {18},
 number = {5},
 year = {2010},
 issn = {0926-227X},
 pages = {751--797},
 publisher = {IOS Press},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }