Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Logical Approach to Cloud Federation   Federated clouds raise a variety of challenges for managing identity,
resource access, naming, connectivity, and object access control. This paper
shows how to address these challenges in a comprehensive and uniform way using
a data-centric approach. The foundation of our approach is a trust logic in
which participants issue authenticated statements about principals, objects,
attributes, and relationships in a logic language, with reasoning based on
declarative policy rules. We show how to use the logic to implement a trust
infrastructure for cloud federation that extends the model of NSF GENI, a
federated IaaS testbed. It captures shared identity management, GENI authority
services, cross-site interconnection using L2 circuits, and a naming and access
control system similar to AWS Identity and Access Management (IAM), but
extended to a federated system without central control.

18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con