Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Security Constraints in Temporal Role-Based Access-Controlled Workflows
  (Extended Version)   Workflows and role-based access control models need to be suitably merged, in
order to allow users to perform processes in a correct way, according to the
given data access policies and the temporal constraints. Given a mapping
between workflow models and simple temporal networks with uncertainty, we
discuss a mapping between role temporalities and simple temporal networks, and
how to connect the two resulting networks to make explicit who can do what,
when. If the connected network is still executable, we show how to compute the
set of authorized users for each task. Finally, we define security constraints
(to prevent users from doing unauthorized actions) and security constraint
propagation rules (to propagate security constraints at runtime). We also
provide an algorithm to check whether a set of propagation rules is safe, and
we extend an existing execution algorithm to take into account these new
security aspects.

29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics