Kohei Honda, Nobuko Yoshida. A uniform type structure for secure information flow. ACM Transactions on Programming Languages and Systems, 29(6):31, 2007. [doi]
@article{HondaY07, title = {A uniform type structure for secure information flow}, author = {Kohei Honda and Nobuko Yoshida}, year = {2007}, doi = {10.1145/1286821.1286822}, url = {http://doi.acm.org/10.1145/1286821.1286822}, tags = {data-flow}, researchr = {https://researchr.org/publication/HondaY07}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {29}, number = {6}, pages = {31}, }