Secure Information Flow in Java via Reachability Analysis of Pushdown System.
https://doi.org/10.1109/QSIC.2010.50
@inproceedings{DBLP:conf/qsic/SunTC10,
author = {Cong Sun and
Liyong Tang and
Zhong Chen},
editor = {Ji Wang and
W. K. Chan and
Fei{-}Ching Kuo},
title = {Secure Information Flow in Java via Reachability Analysis of Pushdown
System},
booktitle = {Proceedings of the 10th International Conference on Quality Software,
{QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
pages = {142--150},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QSIC.2010.50},
doi = {10.1109/QSIC.2010.50},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/SunTC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签