Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Mathematical Foundations for Mapping Policies to Network Devices
  (Technical Report)   A common requirement in policy specification languages is the ability to map
policies to the underlying network devices. Doing so, in a provably correct
way, is important in a security policy context, so administrators can be
confident of the level of protection provided by the policies for their
networks. Existing policy languages allow policy composition but lack formal
semantics to allocate policy to network devices.
  Our research tackles this from first principles: we ask how network policies
can be described at a high-level, independent of firewall-vendor and network
minutiae. We identify the algebraic requirements of the policy mapping process
and propose semantic foundations to formally verify if a policy is implemented
by the correct set of policy-arbiters. We show the value of our proposed
algebras in maintaining concise network-device configurations by applying them
to real-world networks.

23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci