Riccardo Focardi, Matteo Centenaro. Information flow security of multi-threaded distributed programs. In Úlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 113-124, ACM, 2008. [doi]
@inproceedings{FocardiC08,
title = {Information flow security of multi-threaded distributed programs},
author = {Riccardo Focardi and Matteo Centenaro},
year = {2008},
doi = {10.1145/1375696.1375711},
url = {http://doi.acm.org/10.1145/1375696.1375711},
tags = {data-flow programming, data-flow, security},
researchr = {https://researchr.org/publication/FocardiC08},
cites = {0},
citedby = {0},
pages = {113-124},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008},
editor = {Úlfar Erlingsson and Marco Pistoia},
publisher = {ACM},
isbn = {978-1-59593-936-4},
}