Alejandro Russo, Andrei Sabelfeld, Keqin Li 0002. Implicit flows in malicious and nonmalicious code. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 301-322, IOS Press, 2010. [doi]
@incollection{RussoSL10,
title = {Implicit flows in malicious and nonmalicious code},
author = {Alejandro Russo and Andrei Sabelfeld and Keqin Li 0002},
year = {2010},
doi = {10.3233/978-1-60750-100-8-301},
url = {http://dx.doi.org/10.3233/978-1-60750-100-8-301},
researchr = {https://researchr.org/publication/RussoSL10},
cites = {0},
citedby = {0},
pages = {301-322},
booktitle = {Logics and Languages for Reliability and Security},
editor = {Javier Esparza and Bernd Spanfelner and Orna Grumberg},
volume = {25},
series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
publisher = {IOS Press},
isbn = {978-1-60750-099-5},
}