Automated Verification of Customizable Middlebox Properties with Gravel
Automated Verification of Customizable Middlebox Properties with Gravel
复制标题
使用 Gravel 自动验证可定制的 Middlebox 属性
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Wang, Xi
中科院分区：
文献类型：
--
作者：
Zhang, Kaiyuan;Zhuo, Danyang;Akella, Aditya;Krishnamurthy, Arvind;Wang, Xi
通过崩溃优化对文件系统进行一键式验证
DOI：
--
发表时间：
2016
期刊：
USENIX Annual Technical Conference
影响因子：
--
作者：
Helgi Sigurbjarnarson;James Bornholt;Nicolas Christin;L. Cranor
通讯作者：
L. Cranor
Nickel：信息流控制系统的设计和验证框架
DOI：
--
发表时间：
2018
期刊：
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI
影响因子：
--
作者：
Sigurbjarnarson, Helgi;Nelson, Luke;Castro-Karney, Bruno;Bornholt, James;Torlak, Emina;Wang, Xi
通讯作者：
Wang, Xi
经过正式验证的 NAT
DOI：
--
发表时间：
2017
期刊：
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
影响因子：
--
作者：
Arseniy Zaostrovnykh;Solal Pirelli;Luis Pedrosa;K. Argyraki;George Candea
通讯作者：
George Candea