Alexandra Boldyreva, Robert Lychev. Provable Security of S-BGP and other Path Vector Protocols: Model, Analysis and Extensions. IACR Cryptology ePrint Archive, 2013:17, 2013. [doi]
@article{BoldyrevaL13, title = {Provable Security of S-BGP and other Path Vector Protocols: Model, Analysis and Extensions}, author = {Alexandra Boldyreva and Robert Lychev}, year = {2013}, url = {http://eprint.iacr.org/2013/017}, researchr = {https://researchr.org/publication/BoldyrevaL13}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2013}, pages = {17}, }