Fast Inverse Model Transformation: An Algebraic Framework for Fast Data Plane Verification
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2025.3543437
Abstract: Data plane verification (DPV) analyzes routing tables and detects routing abnormalities and policy violations during network operation and planning. Thus, it has become an important tool to harden the networking infrastructure and the computing systems… read more here.
Keywords: framework; verification; dpv systems; model ... See more keywords