Secure Information Flow by Model Checking Pushdown System
http://arxiv.org/abs/1012.3100
@article{DBLP:journals/corr/abs-1012-3100,
author = {Cong Sun and
Liyong Tang and
Zhong Chen},
title = {Secure Information Flow by Model Checking Pushdown System},
journal = {CoRR},
volume = {abs/1012.3100},
year = {2010},
url = {http://arxiv.org/abs/1012.3100},
archivePrefix = {arXiv},
eprint = {1012.3100},
timestamp = {Tue, 17 Sep 2019 14:15:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-3100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签