An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries | IEEE Journals & Magazine | IEEE Xplore