@article{MZ10,
  author        = {R. van der Meyden and Chenyi Zhang},
  title         = {A Comparison of Semantic Models for Noninterference},
  journal       = {Theoretical Computer Science},
  year          = {2010},
  publisher     = {Elsevier},
  volume        = {411},
  pages         = {4123--4147}
}