Automated Verification of Customizable Middlebox Properties with Gravel

作者： Arvind Krishnamurthy , Danyang Zhuo , Aditya Akella , Xi Wang , Kaiyuan Zhang

DOI:

关键词: Computer science 、 Operating system 、 Middlebox