@misc{W2122049982,
  author = {Andrei Sabelfeld and Andrew C. Myers},
  title = {Language-based information-flow security},
  year = {2003},
  howpublished = {IEEE Journal on Selected Areas in Communications},
  doi = {https://doi.org/10.1109/jsac.2002.806121}
}