Yifan Li, Chengjun Jia, Xiaohe Hu, Jun Li. Kano: Efficient Container Network Policy Verification. In IEEE Symposium on High-Performance Interconnects, HOTI 2020, Piscataway, NJ, USA, August 19-21, 2020. pages 63-70, IEEE, 2020. [doi]
@inproceedings{LiJHL20,
title = {Kano: Efficient Container Network Policy Verification},
author = {Yifan Li and Chengjun Jia and Xiaohe Hu and Jun Li},
year = {2020},
doi = {10.1109/HOTI51249.2020.00024},
url = {https://doi.org/10.1109/HOTI51249.2020.00024},
researchr = {https://researchr.org/publication/LiJHL20},
cites = {0},
citedby = {0},
pages = {63-70},
booktitle = {IEEE Symposium on High-Performance Interconnects, HOTI 2020, Piscataway, NJ, USA, August 19-21, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9589-6},
}