Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou. Reduction-based security analysis of Internet routing protocols. In 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.