Haney Kang, Seungwon Shin. Verikube: Automatic and Efficient Verification for Container Network Policies. IEICE Trans. Inf. Syst., 105-D(12):2131-2134, December 2022. [doi]
@article{KangS22-1,
title = {Verikube: Automatic and Efficient Verification for Container Network Policies},
author = {Haney Kang and Seungwon Shin},
year = {2022},
month = {December},
doi = {10.1587/transinf.2022edl8046},
url = {https://doi.org/10.1587/transinf.2022edl8046},
researchr = {https://researchr.org/publication/KangS22-1},
cites = {0},
citedby = {0},
journal = {IEICE Trans. Inf. Syst.},
volume = {105-D},
number = {12},
pages = {2131-2134},
}