Abstract Interpretation of Stateful Networks
Abstract Interpretation of Stateful Networks
复制标题
有状态网络的抽象解释
DOI：
10.1007/978-3-319-99725-4_8
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Yaron Velner
中科院分区：
文献类型：
--
作者：
Kalev Alpernas;R. Manevich;Aurojit Panda;Shmuel Sagiv;S. Shenker;Sharon Shoham;Yaron Velner
现代网络通过在节点上保持状态来实现鲁棒性和可扩展性。这些节点称为中间箱，对于网络功能至关重要。但是，中间箱的存在极大地使网络验证的任务复杂化。先前的工作表明，在抽象数据包到达的顺序时，问题通常是不确定的，并且是expspace complete。
Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates the task of network verification. Previous work showed that the problem is undecidable in general and EXPSPACE-complete when abstracting away the order of packet arrival.