Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verifying the Interplay of Authorization Policies and Workflow in
  Service-Oriented Architectures (Full version)   A widespread design approach in distributed applications based on the
service-oriented paradigm, such as web-services, consists of clearly separating
the enforcement of authorization policies and the workflow of the applications,
so that the interplay between the policy level and the workflow level is
abstracted away. While such an approach is attractive because it is quite
simple and permits one to reason about crucial properties of the policies under
consideration, it does not provide the right level of abstraction to specify
and reason about the way the workflow may interfere with the policies, and vice
versa. For example, the creation of a certificate as a side effect of a
workflow operation may enable a policy rule to fire and grant access to a
certain resource; without executing the operation, the policy rule should
remain inactive. Similarly, policy queries may be used as guards for workflow
transitions.
  In this paper, we present a two-level formal verification framework to
overcome these problems and formally reason about the interplay of
authorization policies and workflow in service-oriented architectures. This
allows us to define and investigate some verification problems for SO
applications and give sufficient conditions for their decidability.

11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int