@Article{ mantel:information:2011, author = {Heiko Mantel}, journal = {Encyclopedia of Cryptography and Security (2nd Ed.)}, title = {Information Flow and Noninterference}, year = 2011, publisher = {Springer}, editor = {Henk C.A. van Tilborg and Sushil Jajodia}, pages = {605-607} }