Security Analysis of a Path Validation Scheme With Constant-Size Proof | IEEE Journals & Magazine | IEEE Xplore