Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi. Information Flow Security and Recursive Systems. In Carlo Blundo, Cosimo Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Volume 2841 of Lecture Notes in Computer Science, pages 369-382, Springer, 2003. [doi]
@inproceedings{BossiMPR03,
title = {Information Flow Security and Recursive Systems},
author = {Annalisa Bossi and Damiano Macedonio and Carla Piazza and Sabina Rossi},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=369},
tags = {data-flow, security},
researchr = {https://researchr.org/publication/BossiMPR03},
cites = {0},
citedby = {0},
pages = {369-382},
booktitle = {Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings},
editor = {Carlo Blundo and Cosimo Laneve},
volume = {2841},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20216-1},
}