%0 Conference Paper %1 conf/icics/ZhangZXLHC18 %A Zhang, Fan %A Zhang, Cong %A Xu, Mingdi %A Liu, Xiaoli %A Hu, Fangning %A Chao, Han-Chieh %B ICICS %D 2018 %E Naccache, David %E Xu, Shouhuai %E Qing, Sihan %E Samarati, Pierangela %E Blanc, Gregory %E Lu, Rongxing %E Zhang, Zonghua %E Meddahi, Ahmed %I Springer %K dblp %P 629-646 %T Automated Verification of Noninterference Property. %U http://dblp.uni-trier.de/db/conf/icics/icics2018.html#ZhangZXLHC18 %V 11149 %@ 978-3-030-01950-1

@inproceedings{conf/icics/ZhangZXLHC18, added-at = {2020-04-20T00:00:00.000+0200}, author = {Zhang, Fan and Zhang, Cong and Xu, Mingdi and Liu, Xiaoli and Hu, Fangning and Chao, Han-Chieh}, biburl = {https://www.bibsonomy.org/bibtex/24ceb205dde355193e69d93cfb4bd3ec9/dblp}, booktitle = {ICICS}, crossref = {conf/icics/2018}, editor = {Naccache, David and Xu, Shouhuai and Qing, Sihan and Samarati, Pierangela and Blanc, Gregory and Lu, Rongxing and Zhang, Zonghua and Meddahi, Ahmed}, ee = {https://doi.org/10.1007/978-3-030-01950-1_37}, interhash = {5ba655f53fed663f9c368a34ffc4a5f9}, intrahash = {4ceb205dde355193e69d93cfb4bd3ec9}, isbn = {978-3-030-01950-1}, keywords = {dblp}, pages = {629-646}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:53:14.000+0200}, title = {Automated Verification of Noninterference Property.}, url = {http://dblp.uni-trier.de/db/conf/icics/icics2018.html#ZhangZXLHC18}, volume = 11149, year = 2018 }