Entry Wang:2010:SRW from tissec.bib
Last update: Sun Oct 15 02:58:48 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Wang:2010:SRW,
author = "Qihua Wang and Ninghui Li",
title = "Satisfiability and Resiliency in Workflow
Authorization Systems",
journal = j-TISSEC,
volume = "13",
number = "4",
pages = "40:1--40:??",
month = dec,
year = "2010",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1880022.1880034",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Wed Jan 12 17:10:07 MST 2011",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We propose the role-and-relation-based access control
(R2BAC) model for workflow authorization systems. In
R2BAC, in addition to a user's role memberships, the
user's relationships with other users help determine
whether the user is allowed to perform a certain step
in a workflow. For example, a constraint may require
that two steps must not be performed by users who have
conflicts of interests. We study computational
complexity of the workflow satisfiability problem,
which asks whether a set of users can complete a
workflow. In particular, we apply tools from
parameterized complexity theory to better understand
the complexities of this problem. Furthermore, we
reduce the workflow satisfiability problem to SAT and
apply SAT solvers to address the problem.",
acknowledgement = ack-nhfb,
articleno = "40",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- addition,
2(1)3,
2(2)177,
2(3)230,
9(2)181,
10(4)1,
10(4)2,
11(3)15,
12(2)11,
12(3)16,
12(3)18,
13(3)27,
13(4)35,
15(1)4,
17(3)12,
18(3)11
- address,
2(1)65,
2(4)390,
10(2)8,
10(3)12,
11(1)4,
11(2)3,
11(3)12,
12(2)11,
13(3)22,
13(3)26,
13(4)31,
13(4)38,
14(1)3,
15(1)2,
15(2)6,
15(2)8,
16(3)11,
16(4)14,
17(1)1,
17(1)2,
17(1)4,
17(2)8,
17(3)11
- allowed,
1(1)26,
10(4)2,
11(2)3,
12(2)10,
15(4)16
- apply,
2(2)177,
2(3)269,
7(2)319,
10(4)4,
10(4)5,
12(1)1,
14(1)2,
14(1)6,
17(4)15,
18(1)4
- ask,
10(4)5,
14(3)26,
17(3)11,
17(4)15
- authorization,
1(1)26,
2(1)34,
2(1)65,
2(1)105,
2(2)177,
3(4)207,
4(4)453,
5(1)62,
6(1)128,
6(4)566,
7(2)175,
7(3)363,
10(4)2,
11(1)2,
11(1)3,
11(1)4,
12(1)6,
12(2)8,
12(3)15,
13(3)20,
13(3)25,
14(1)3,
14(1)8,
14(3)23,
15(3)13,
17(2)5
- better,
10(4)5,
11(1)4,
11(4)20,
11(4)23,
17(1)1,
17(4)14,
17(4)15,
18(1)1,
18(3)10
- certain,
10(2)5,
11(2)1,
11(4)22,
12(1)1,
12(1)6,
12(2)8,
12(4)20,
13(3)26,
15(2)9,
17(1)2,
17(3)10,
18(2)7
- complete,
10(1)4,
10(2)5,
10(4)2,
11(2)5,
12(1)1,
12(3)17,
13(3)20,
13(3)27,
14(4)31,
15(4)18
- complexity,
2(1)65,
9(4)391,
9(4)421,
10(2)5,
10(4)5,
11(2)6,
12(3)16,
12(3)18,
12(4)20,
13(4)36,
14(1)3,
14(1)14,
15(4)16,
16(1)3,
16(1)4,
16(3)10,
17(4)16,
18(2)6,
18(3)10,
18(4)13
- computational,
10(2)5,
11(2)6,
12(1)3,
12(4)21,
13(3)28,
15(1)3,
15(2)9,
16(3)12,
16(4)17,
17(3)10,
17(3)12,
17(4)15,
18(2)7,
18(4)12
- conflict,
2(1)3,
14(1)9,
15(4)15,
16(4)17,
17(1)2
- constraint,
2(1)65,
3(4)207,
6(4)501,
7(3)392,
9(2)162,
10(1)2,
10(2)5,
10(2)7,
10(4)2,
11(1)3,
11(2)6,
11(3)14,
11(4)20,
12(2)8,
12(2)10,
12(3)19,
13(1)5,
13(3)22,
13(3)25,
14(4)32,
15(2)10,
15(3)13,
15(4)15,
16(1)3,
16(1)4,
16(4)17,
17(1)3,
17(2)8,
18(2)6
- determine,
1(1)3,
11(2)3,
11(2)6,
11(3)16,
12(4)20,
13(3)26,
13(4)38,
14(1)2,
14(4)32,
16(2)5,
17(1)1,
17(2)8
- example,
10(4)5,
12(1)1,
12(2)11,
12(3)19,
12(4)20,
13(3)20,
13(4)30,
13(4)35,
13(4)39,
15(2)10,
16(1)3,
16(2)5,
16(3)10,
17(1)2,
17(1)4,
18(1)1,
18(2)8,
18(4)13
- furthermore,
2(3)295,
2(4)390,
10(4)2,
12(1)6,
12(4)20,
13(1)10,
13(3)26,
13(3)28,
13(4)32,
14(1)4,
15(2)6,
16(1)3,
17(2)7,
17(4)16
- have,
1(1)66,
1(1)93,
2(1)65,
2(2)138,
2(3)230,
2(3)269,
10(1)2,
10(1)4,
10(2)5,
10(3)10,
10(3)12,
10(4)4,
10(4)5,
10(4)6,
11(1)2,
11(2)1,
11(2)5,
11(3)15,
11(3)16,
11(4)17,
11(4)18,
11(4)21,
12(1)1,
12(1)2,
12(2)10,
12(2)13,
12(3)15,
12(3)16,
12(3)17,
12(4)20,
13(3)20,
13(3)26,
13(3)27,
13(3)28,
13(4)32,
13(4)36,
13(4)39,
14(1)6,
14(1)7,
14(1)10,
14(1)13,
14(1)14,
14(3)27,
14(4)28,
14(4)29,
15(2)7,
15(2)9,
15(2)10,
15(3)12,
15(4)18,
16(2)7,
16(2)8,
16(3)10,
16(4)15,
16(4)16,
17(1)3,
17(3)11,
17(3)12,
17(4)13,
17(4)15,
18(1)1,
18(1)3,
18(2)5,
18(2)7,
18(4)13
- help,
10(4)1,
12(1)2,
12(1)4,
13(1)10,
15(2)6,
18(1)1
- Li, Ninghui,
6(1)128,
9(3)352,
9(4)391,
10(2)5,
12(4)20,
13(1)2,
13(4)36,
14(1)1,
14(3)24
- may,
2(2)138,
2(2)177,
9(4)391,
10(3)12,
10(4)2,
11(2)2,
11(2)5,
11(3)12,
11(4)18,
11(4)21,
12(1)5,
12(2)8,
12(3)15,
12(3)16,
13(1)10,
13(3)22,
13(3)25,
13(4)35,
13(4)38,
15(2)10,
16(1)4,
17(1)2,
17(1)4,
18(1)1,
18(2)5
- membership,
2(4)354,
10(4)2,
11(1)3,
11(2)3,
12(3)15,
14(3)23
- must,
2(2)159,
2(2)177,
9(4)421,
10(3)12,
10(4)4,
11(3)13,
14(4)29,
15(2)10,
16(1)4,
17(2)6
- not,
1(1)26,
2(1)65,
2(2)177,
2(3)230,
2(3)269,
2(4)390,
9(4)421,
10(1)3,
10(4)2,
11(1)3,
11(1)4,
11(2)2,
11(2)4,
11(2)5,
11(3)12,
11(3)13,
11(3)15,
11(3)16,
11(4)19,
11(4)20,
11(4)22,
12(1)1,
12(1)2,
12(1)3,
12(1)6,
12(2)10,
12(2)11,
12(2)13,
12(3)14,
12(4)22,
13(1)10,
13(3)28,
13(4)33,
13(4)35,
13(4)36,
13(4)37,
13(4)39,
14(3)23,
14(3)27,
14(4)28,
14(4)29,
14(4)31,
15(2)6,
15(2)9,
15(2)10,
15(3)12,
15(3)13,
16(1)1,
16(2)5,
16(2)6,
16(3)9,
16(3)12,
16(4)13,
16(4)15,
16(4)16,
17(1)2,
17(3)10,
17(4)15,
18(1)1,
18(3)9,
18(4)13
- other,
1(1)93,
2(4)354,
9(4)461,
10(3)9,
10(3)10,
10(3)11,
10(3)12,
10(4)1,
10(4)5,
11(2)2,
11(2)6,
11(3)15,
11(4)18,
11(4)23,
12(1)3,
12(2)8,
12(2)10,
12(3)14,
12(3)17,
12(4)22,
13(3)24,
13(3)25,
14(3)23,
14(3)27,
14(4)30,
15(1)5,
15(2)6,
15(3)11,
15(3)14,
15(4)15,
16(4)15,
17(2)8,
17(3)9,
18(1)1,
18(1)3,
18(2)6,
18(4)12
- parameterized,
16(1)4
- particular,
2(2)177,
2(4)390,
10(4)1,
10(4)2,
10(4)3,
11(2)6,
12(4)21,
14(1)2,
15(3)14,
16(2)5,
17(3)9,
17(4)14
- perform,
2(2)177,
2(3)269,
9(4)461,
12(2)11,
15(2)6,
15(2)10,
15(3)14,
15(4)17,
16(1)4,
16(2)8,
17(2)6
- performed,
2(3)332,
3(4)262,
9(4)421,
10(4)6,
11(4)18
- problem,
1(1)3,
2(3)269,
2(3)295,
5(3)238,
9(2)162,
9(4)391,
10(2)5,
10(2)8,
10(3)9,
10(3)10,
10(3)12,
10(4)1,
10(4)3,
11(2)2,
11(3)12,
11(3)15,
11(4)19,
12(1)2,
12(1)6,
12(2)9,
12(3)18,
12(4)20,
13(3)22,
13(3)26,
13(3)27,
13(4)33,
13(4)36,
14(3)25,
14(4)31,
15(4)15,
15(4)18,
16(1)3,
16(1)4,
16(3)11,
16(4)15,
17(2)8,
17(3)11,
17(4)15,
18(1)3
- propose,
1(1)26,
2(1)65,
2(2)138,
2(3)269,
9(2)162,
9(4)391,
9(4)421,
10(1)3,
10(1)4,
10(3)12,
10(4)1,
10(4)3,
10(4)4,
10(4)6,
11(1)3,
11(1)4,
11(3)12,
11(3)15,
11(4)18,
11(4)19,
11(4)23,
12(1)4,
12(2)8,
12(2)11,
12(2)13,
12(3)18,
13(3)28,
13(4)32,
13(4)36,
13(4)41,
14(1)5,
14(1)10,
14(1)11,
14(3)24,
14(3)26,
14(4)30,
15(2)7,
15(4)17,
16(1)2,
16(4)15,
16(4)16,
17(1)1,
17(3)10,
17(3)11,
17(3)12,
17(4)13,
17(4)14,
18(1)2,
18(2)7
- reduce,
2(3)295,
7(2)319,
9(4)391,
11(3)14,
11(4)17,
12(2)13,
12(3)17,
13(3)27,
14(1)12,
15(3)12,
16(1)4,
16(3)10,
16(4)17,
18(4)12,
18(4)13
- relationship,
2(1)3,
2(4)390,
6(1)43,
9(2)162,
9(4)391,
10(4)2,
10(4)3,
12(1)2,
14(3)24,
14(4)30,
15(4)18,
17(2)7
- require,
2(3)269,
10(1)2,
11(1)3,
11(2)2,
11(4)22,
12(1)3,
12(1)6,
12(3)16,
12(4)20,
13(3)20,
13(3)21,
13(4)29,
13(4)33,
13(4)35,
14(1)2,
14(3)27,
15(2)6,
15(4)16,
16(4)13,
17(2)5,
17(3)9,
17(3)10,
17(4)16,
18(1)2,
18(4)13
- resiliency,
11(2)1,
12(4)20
- role,
2(1)3,
2(1)65,
2(1)105,
2(2)177,
9(2)113,
10(1)2,
10(2)5,
10(4)2,
11(1)3,
11(4)20,
12(1)1,
12(3)15,
13(3)20,
13(3)27,
13(4)36,
15(3)13,
15(4)15,
15(4)18
- satisfiability,
16(1)4
- set,
2(1)34,
2(2)138,
2(4)390,
8(1)3,
9(4)421,
10(2)5,
10(3)12,
10(4)2,
10(4)3,
10(4)5,
11(2)1,
11(2)3,
11(3)13,
11(4)18,
11(4)21,
12(2)11,
12(3)18,
12(3)19,
12(4)20,
12(4)21,
13(1)9,
13(1)10,
13(3)27,
14(1)12,
14(3)25,
14(4)31,
15(1)2,
15(2)7,
15(2)10,
15(3)13,
15(4)15,
16(1)4,
17(1)2,
17(2)8,
17(3)11,
17(4)13,
17(4)14,
18(1)4,
18(3)10,
18(3)11
- solver,
12(2)10
- step,
10(1)2,
10(1)4,
12(3)18,
12(3)19,
12(4)22,
13(1)10,
14(3)26,
14(3)27,
15(4)18,
16(1)4,
16(3)10
- study,
2(3)230,
2(4)416,
7(2)206,
10(2)5,
10(4)5,
11(1)3,
11(2)3,
11(4)23,
12(1)6,
12(3)14,
12(4)20,
14(1)7,
14(2)18,
14(2)19,
15(1)5,
15(2)7,
15(2)8,
15(2)10,
15(3)13,
17(1)1,
17(2)7,
17(3)12,
17(4)14,
18(1)1,
18(1)2,
18(1)4,
18(2)5,
18(2)7,
18(3)9,
18(4)13
- theory,
2(1)3,
2(1)105,
2(3)332,
14(4)31,
16(1)4,
16(4)16,
16(4)17,
17(3)10
- tool,
1(1)66,
2(3)332,
2(4)390,
7(2)274,
9(2)181,
10(4)2,
12(2)10,
13(3)24,
13(3)26,
13(4)30,
14(1)6,
15(1)3,
15(4)18,
16(1)4,
16(2)7,
17(2)7,
18(1)1,
18(1)4
- two,
1(1)26,
2(4)416,
9(4)391,
10(1)4,
10(2)6,
10(2)8,
10(3)10,
10(4)4,
11(2)1,
11(2)4,
11(2)6,
11(3)13,
11(4)22,
12(1)2,
12(1)3,
12(1)4,
12(1)6,
12(3)14,
12(4)20,
13(3)22,
13(3)27,
14(1)4,
14(1)5,
14(4)30,
15(1)2,
15(1)5,
15(2)6,
15(3)11,
15(3)12,
16(1)1,
16(1)2,
16(1)4,
16(3)9,
16(3)10,
16(4)15,
17(4)13,
18(2)5,
18(4)12,
18(4)13,
18(4)14
- understand,
10(4)5
- Wang, Qihua,
12(4)20,
13(4)36
- whether,
1(1)3,
1(1)26,
10(2)5,
10(4)2,
10(4)5,
11(2)3,
11(2)6,
11(3)16,
12(1)1,
12(4)20,
13(3)26,
14(3)25,
14(4)32,
16(1)3,
16(1)4,
17(1)1,
17(1)2
- who,
1(1)26,
1(1)66,
10(4)3,
11(3)12,
11(4)19,
11(4)23,
12(1)2,
12(2)9,
13(4)39,
15(3)14,
16(2)8,
17(1)4,
18(4)13
- workflow,
2(1)65,
15(3)13,
16(1)4,
17(1)3