Yunchuan Guo, Lihua Yin, Li Chao. Automatically verifying STRAC policy. In 2014 Proceedings IEEE INFOCOM Workshops, Toronto, ON, Canada, April 27 - May 2, 2014. pages 141-142, IEEE, 2014. [doi]
@inproceedings{GuoYC14,
title = {Automatically verifying STRAC policy},
author = {Yunchuan Guo and Lihua Yin and Li Chao},
year = {2014},
doi = {10.1109/INFCOMW.2014.6849195},
url = {http://dx.doi.org/10.1109/INFCOMW.2014.6849195},
researchr = {https://researchr.org/publication/GuoYC14},
cites = {0},
citedby = {0},
pages = {141-142},
booktitle = {2014 Proceedings IEEE INFOCOM Workshops, Toronto, ON, Canada, April 27 - May 2, 2014},
publisher = {IEEE},
}