Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Provably Secure Networks: Methodology and Toolset for Configuration
  Management   Network administration is an inherently complex task, in particular with
regard to security. Using the Isabelle interactive proof assistant, we develop
two automated, formally verified tools which help uncovering and preventing
bugs in network-level access control configurations. Our first tool guides the
process of designing networks from scratch. Our second tool facilitates the
analysis of existing iptables configurations. Combined, the two form a powerful
toolset.

12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ