%0 Conference Paper %1 conf/icics/HuangJL07 %A Huang, Xiaowei %A Jiao, Li %A Lu, Weiming %B ICICS %D 2007 %E Qing, Sihan %E Imai, Hideki %E Wang, Guilin %I Springer %K dblp %P 334-349 %T What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. %U http://dblp.uni-trier.de/db/conf/icics/icics2007.html#HuangJL07 %V 4861 %@ 978-3-540-77047-3

@inproceedings{conf/icics/HuangJL07, added-at = {2020-03-04T00:00:00.000+0100}, author = {Huang, Xiaowei and Jiao, Li and Lu, Weiming}, biburl = {https://www.bibsonomy.org/bibtex/2f09527d7bc858c28b2264c1858e8c79b/dblp}, booktitle = {ICICS}, crossref = {conf/icics/2007}, editor = {Qing, Sihan and Imai, Hideki and Wang, Guilin}, ee = {https://doi.org/10.1007/978-3-540-77048-0_26}, interhash = {0935eaeddb94c51380e7f71a148f6036}, intrahash = {f09527d7bc858c28b2264c1858e8c79b}, isbn = {978-3-540-77047-3}, keywords = {dblp}, pages = {334-349}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-05T11:56:47.000+0100}, title = {What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.}, url = {http://dblp.uni-trier.de/db/conf/icics/icics2007.html#HuangJL07}, volume = 4861, year = 2007 }