Roberto Giacobazzi, Isabella Mastroeni. A Proof System for Abstract Non-interference. Journal of Logic and Computation, 20(2):449-479, 2010. [doi]
@article{GiacobazziM10, title = {A Proof System for Abstract Non-interference}, author = {Roberto Giacobazzi and Isabella Mastroeni}, year = {2010}, doi = {10.1093/logcom/exp053}, url = {http://dx.doi.org/10.1093/logcom/exp053}, researchr = {https://researchr.org/publication/GiacobazziM10}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {20}, number = {2}, pages = {449-479}, }