Willard Rafnsson, Andrei Sabelfeld. Compositional Information-Flow Security for Interactive Systems. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. pages 277-292, IEEE, 2014. [doi]
@inproceedings{RafnssonS14,
title = {Compositional Information-Flow Security for Interactive Systems},
author = {Willard Rafnsson and Andrei Sabelfeld},
year = {2014},
doi = {10.1109/CSF.2014.27},
url = {http://dx.doi.org/10.1109/CSF.2014.27},
researchr = {https://researchr.org/publication/RafnssonS14},
cites = {0},
citedby = {0},
pages = {277-292},
booktitle = {IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014},
publisher = {IEEE},
}