Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CAIR: Using Formal Languages to Study Routing, Leaking, and Interception
  in BGP   The Internet routing protocol BGP expresses topological reachability and
policy-based decisions simultaneously in path vectors. A complete view on the
Internet backbone routing is given by the collection of all valid routes, which
is infeasible to obtain due to information hiding of BGP, the lack of
omnipresent collection points, and data complexity. Commonly, graph-based data
models are used to represent the Internet topology from a given set of BGP
routing tables but fall short of explaining policy contexts. As a consequence,
routing anomalies such as route leaks and interception attacks cannot be
explained with graphs.
  In this paper, we use formal languages to represent the global routing system
in a rigorous model. Our CAIR framework translates BGP announcements into a
finite route language that allows for the incremental construction of minimal
route automata. CAIR preserves route diversity, is highly efficient, and
well-suited to monitor BGP path changes in real-time. We formally derive
implementable search patterns for route leaks and interception attacks. In
contrast to the state-of-the-art, we can detect these incidents. In practical
experiments, we analyze public BGP data over the last seven years.

27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph