Toward a mathematical foundation for information flow security | IEEE Conference Publication | IEEE Xplore