@inproceedings{DBLP:conf/csfw/HarrisonH05,
 author = {William L. Harrison and
James Hook},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/csfw/HarrisonH05.bib},
 booktitle = {18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005),
20-22 June 2005, Aix-en-Provence, France},
 doi = {10.1109/CSFW.2005.6},
 pages = {16--30},
 publisher = {IEEE Computer Society},
 timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
 title = {Achieving Information Flow Security through Precise Control of Effects},
 url = {https://doi.org/10.1109/CSFW.2005.6},
 year = {2005}
}