Alexandra Boldyreva, Robert Lychev. Provable security of S-BGP and other path vector protocols: model, analysis and extensions. In Ting Yu, George Danezis, Virgil D. Gligor, editors, the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012. pages 541-552, ACM, 2012. [doi]
Abstract is missing.