conftrace_

access control list

1 paper

Explore in graph

Also known as

ACL

Co-occurring keywords · papers mentioning both

network address translation (1) real-time verification (1) memory cost (1) forwarding behavior (1) data plane (1) network verification (1) network model (1) sparse recovery (1)

Papers

APKeep: Realtime Verification for Real Networks NSDI 2020