Colin O Halloran. A Calculus of Information Flow. In ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France. pages 147-159, AFCET, 1990.
@inproceedings{OHalloran90,
title = {A Calculus of Information Flow},
author = {Colin O Halloran},
year = {1990},
tags = {data-flow},
researchr = {https://researchr.org/publication/OHalloran90},
cites = {0},
citedby = {0},
pages = {147-159},
booktitle = {ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France},
publisher = {AFCET},
}