Secure State Migration in the Data Plane
Secure State Migration in the Data Plane
复制标题
DOI:
10.1145/3405669.3405822
复制
发表时间:
2020-08
期刊:
影响因子:
--
通讯作者:
Jiarong Xing;Ang Chen;T. S. E. Ng
中科院分区:
文献类型:
--
作者:
Jiarong Xing;Ang Chen;T. S. E. Ng
Programmable data planes enable stateful packet processing at hardware speeds---a new capability central to many recent systems. However, protocols and systems that effectively manage data plane state remain underexplored. This paper considers the problem of secure state migration, which can serve as an important building block for state management tasks. It delivers data plane state from a source switch to a destination effectively without a software controller, while providing strong cryptographic guarantees on authenticity. Our protocol, P4Sync, tackles several technical challenges, such as adapting memory copy techniques in VM migration, offloading per-packet security operations to the data plane, and amortizing heavyweight cryptographic overheads over a batch of packets. Our initial validation shows that P4Sync has low traffic and memory overheads.