@techreport{swscb-cuflsr-16, author = {Johann Schlamp and Matthias W{\"a}hlisch and Thomas C. Schmidt and Georg Carle and Ernst W. Biersack}, title = {{CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP}}, type = {Technical Report}, institution = {Open Archive: arXiv.org}, year = {2016}, month = {May}, number = {arXiv:1605.00618}, url = {http://arxiv.org/abs/1605.00618}, theme = {nsec|ima|prog}, }