A New Enforcement on Declassification with Reachability Analysis
http://arxiv.org/abs/1108.4172
@article{DBLP:journals/corr/abs-1108-4172,
author = {Cong Sun and
Liyong Tang and
Zhong Chen},
title = {A New Enforcement on Declassification with Reachability Analysis},
journal = {CoRR},
volume = {abs/1108.4172},
year = {2011},
url = {http://arxiv.org/abs/1108.4172},
archivePrefix = {arXiv},
eprint = {1108.4172},
timestamp = {Tue, 17 Sep 2019 14:15:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签