@Article{	  mantel:information:a,
  author	= {Heiko Mantel},
  title		= {Information Flow and Noninterference},
  journal	= {Encyclopedia of Cryptography and Security (3rd Ed.)},
  isbn		= {978-3-030-71520-5},
  pages		= {1217-1221},
  year		= 2025,
  url		= {http://doi.org/10.1007/978-3-030-71522-9_874}
}