%0 Conference Paper %1 conf/intrust/ZhaiGH14 %A Zhai, Gaoshou %A Guo, Tao %A Huang, Jie %B INTRUST %D 2014 %E Yung, Moti %E Zhu, Liehuang %E Yang, Yanjiang %I Springer %K dblp %P 294-309 %T SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs. %U http://dblp.uni-trier.de/db/conf/intrust/intrust2014.html#ZhaiGH14 %V 9473 %@ 978-3-319-27997-8

@inproceedings{conf/intrust/ZhaiGH14, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhai, Gaoshou and Guo, Tao and Huang, Jie}, biburl = {https://www.bibsonomy.org/bibtex/2d9052e07be44dff8d9fe4166aec758c0/dblp}, booktitle = {INTRUST}, crossref = {conf/intrust/2014}, editor = {Yung, Moti and Zhu, Liehuang and Yang, Yanjiang}, ee = {https://doi.org/10.1007/978-3-319-27998-5_19}, interhash = {0385f6ec8601fd57034a4d30d3e92a60}, intrahash = {d9052e07be44dff8d9fe4166aec758c0}, isbn = {978-3-319-27997-8}, keywords = {dblp}, pages = {294-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:28:50.000+0200}, title = {SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs.}, url = {http://dblp.uni-trier.de/db/conf/intrust/intrust2014.html#ZhaiGH14}, volume = 9473, year = 2014 }