Enforcing Reactive Noninterference with Reachability Analysis.
https://doi.org/10.1109/ITNG.2011.63
@inproceedings{DBLP:conf/itng/SunTC11,
author = {Cong Sun and
Liyong Tang and
Zhong Chen},
editor = {Shahram Latifi},
title = {Enforcing Reactive Noninterference with Reachability Analysis},
booktitle = {Eighth International Conference on Information Technology: New Generations,
{ITNG} 2011, Las Vegas, Nevada, USA, 11-13 April 2011},
pages = {321--326},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ITNG.2011.63},
doi = {10.1109/ITNG.2011.63},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/itng/SunTC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签