Entry Li:2009:RPA 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{Li:2009:RPA,
author = "Ninghui Li and Qihua Wang and Mahesh Tripunitara",
title = "Resiliency Policies in Access Control",
journal = j-TISSEC,
volume = "12",
number = "4",
pages = "20:1--20:??",
month = apr,
year = "2009",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1513601.1513602",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu May 14 13:53:50 MDT 2009",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We introduce the notion of resiliency policies in the
context of access control systems. Such policies
require an access control system to be resilient to the
absence of users. An example resiliency policy requires
that upon removal of any $s$ users, there should still
exist $d$ disjoint sets of users such that the users in
each set together possess certain permissions of
interest. Such a policy ensures that even when
emergency situations cause some users to be absent,
there still exist independent teams of users that have
the permissions necessary for carrying out critical
tasks. The Resiliency Checking Problem determines
whether an access control state satisfies a given
resiliency policy. We show that the general case of the
problem and several subcases are intractable (NP hard),
and identify two subcases that are solvable in linear
time. For the intractable cases, we also identify the
complexity class in the polynomial hierarchy to which
these problems belong. We discuss the design and
evaluation of an algorithm that can efficiently solve
instances of nontrivial sizes that belong to the
intractable cases of the problem. Furthermore, we study
the consistency problem between resiliency policies and
static separation of duty policies. Finally, we combine
the notions of resiliency and separation of duty to
introduce the resilient separation of duty policy,
which is useful in situations where both
fault-tolerance and fraud-prevention are desired.",
acknowledgement = ack-nhfb,
articleno = "20",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "access control; fault-tolerant; policy design",
}
Related entries
- $d$,
12(3)18
- absence,
11(3)16,
12(1)5,
15(1)4,
16(2)6,
17(2)8
- algorithm,
1(1)26,
2(1)3,
2(1)65,
2(1)105,
2(3)295,
9(2)162,
9(4)391,
9(4)421,
10(1)4,
10(4)3,
11(1)4,
11(3)12,
12(2)8,
12(3)17,
13(1)10,
13(3)20,
13(3)22,
13(3)24,
13(3)26,
13(3)27,
13(3)28,
13(4)36,
13(4)41,
14(1)3,
14(1)13,
14(3)25,
15(3)11,
15(4)15,
15(4)17,
16(1)4,
17(3)11,
17(4)13,
18(1)1,
18(1)4,
18(4)14
- any,
1(1)66,
1(1)93,
2(4)390,
9(4)461,
10(3)10,
10(3)12,
10(4)1,
10(4)4,
11(2)4,
11(2)6,
11(3)13,
11(3)16,
11(4)20,
12(1)3,
12(1)5,
12(1)6,
12(2)8,
12(2)9,
12(2)10,
12(3)14,
12(3)18,
12(3)19,
13(1)10,
13(3)28,
13(4)33,
13(4)39,
14(1)6,
14(1)8,
14(1)9,
14(4)32,
15(1)2,
15(2)9,
15(2)10,
15(4)17,
16(2)6,
16(2)7,
16(3)12,
16(4)13,
16(4)15,
17(2)8,
17(3)9,
17(3)11,
18(1)1
- both,
1(1)26,
1(1)93,
2(1)65,
2(4)416,
9(2)181,
10(1)4,
10(3)12,
11(1)3,
11(1)4,
11(2)2,
11(3)14,
11(3)15,
11(3)16,
11(4)22,
12(1)2,
12(2)13,
12(3)15,
13(4)30,
13(4)33,
14(3)24,
15(1)5,
15(2)10,
15(3)11,
15(3)13,
16(1)4,
16(2)5,
16(3)10,
16(4)17,
17(3)9,
18(1)1,
18(4)13,
18(4)14
- case,
7(2)206,
9(4)391,
10(4)2,
11(3)14,
11(4)19,
11(4)21,
12(1)1,
12(1)5,
12(2)10,
13(4)32,
13(4)34,
14(1)14,
14(2)18,
14(4)28,
15(1)5,
15(2)7,
15(3)13,
16(1)4,
17(1)1,
17(2)7,
18(1)1,
18(1)2,
18(1)4
- cause,
6(4)443,
12(2)10,
12(2)11,
12(2)12,
14(1)2,
14(1)13,
17(1)2,
18(4)14
- certain,
10(2)5,
11(2)1,
11(4)22,
12(1)1,
12(1)6,
12(2)8,
13(3)26,
13(4)40,
15(2)9,
17(1)2,
17(3)10,
18(2)7
- checking,
1(1)3,
10(2)5,
10(2)7,
10(4)5,
14(1)12,
15(4)18,
18(2)6
- class,
2(2)177,
9(4)391,
10(1)2,
10(1)3,
10(4)5,
11(2)1,
11(4)19,
12(1)2,
12(3)18,
13(3)21,
14(1)13,
16(1)2,
16(4)17,
18(2)5,
18(4)13
- combine,
13(3)22,
13(4)33,
14(1)5,
14(3)24,
15(3)13,
16(4)15
- 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,
13(4)36,
13(4)40,
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
- consistency,
2(1)65,
2(2)177,
7(2)175,
10(2)7,
11(4)21,
11(4)22,
12(2)8,
12(3)14,
13(3)25,
16(4)17
- context,
7(3)392,
10(1)2,
10(2)8,
10(3)12,
10(4)2,
11(3)13,
11(3)16,
12(3)18,
14(1)2,
14(1)4,
15(1)2,
15(2)8,
15(4)16,
17(2)7,
17(3)12,
18(3)10
- critical,
11(4)23,
13(4)38,
15(2)9,
16(2)5,
17(3)12
- design,
1(1)66,
2(1)34,
2(1)105,
2(2)138,
2(3)269,
2(4)390,
2(4)416,
10(2)7,
10(3)11,
10(4)1,
11(1)2,
11(2)1,
11(4)18,
11(4)23,
12(1)3,
12(2)8,
12(2)11,
12(3)17,
12(4)22,
13(1)10,
13(4)29,
13(4)32,
14(1)8,
14(3)24,
15(3)13,
16(2)5,
16(2)6,
16(2)8,
16(4)16,
17(1)4,
17(2)7,
17(2)8,
17(4)13,
18(1)1,
18(1)3,
18(4)12
- desired,
15(2)10,
15(4)18
- determine,
1(1)3,
11(2)3,
11(2)6,
11(3)16,
13(3)26,
13(4)38,
13(4)40,
14(1)2,
14(4)32,
16(2)5,
17(1)1,
17(2)8
- discuss,
2(1)105,
10(2)5,
10(2)8,
11(1)2,
11(2)1,
12(4)22,
13(3)22,
13(3)25,
13(4)35,
14(3)24,
17(1)3,
18(2)7
- duty,
2(1)65,
10(1)2,
15(3)13
- each,
2(1)65,
2(2)138,
2(4)390,
9(4)421,
9(4)461,
10(1)4,
10(2)8,
10(3)10,
10(3)12,
11(3)14,
11(4)18,
11(4)23,
12(1)6,
12(2)8,
12(2)10,
12(3)18,
13(1)10,
13(4)29,
13(4)34,
14(3)25,
14(3)26,
14(3)27,
14(4)32,
15(1)2,
15(2)6,
16(4)14,
16(4)17,
17(2)8,
17(3)10,
17(3)12,
17(4)13,
18(1)4
- efficiently,
2(3)269,
10(4)2,
11(3)15,
13(4)32,
16(4)17,
17(1)4,
17(4)15,
18(1)4
- emergency,
17(1)2
- ensure,
10(2)7,
10(3)10,
12(2)9,
12(3)14,
12(3)19,
13(3)21,
13(4)35,
14(1)13,
15(2)10,
17(2)6,
17(3)11,
18(1)2
- evaluation,
2(3)295,
3(4)262,
10(1)3,
11(1)3,
11(4)20,
11(4)22,
12(2)8,
12(2)11,
13(2)14,
13(3)24,
13(3)25,
16(1)1,
16(1)2,
16(3)9,
16(4)13,
16(4)17,
17(4)14,
18(1)1
- even,
1(1)66,
2(3)332,
2(4)416,
10(1)2,
11(1)4,
11(2)6,
11(4)22,
12(2)11,
13(1)10,
13(4)30,
13(4)35,
13(4)41,
14(3)25,
14(3)27,
15(1)5,
16(3)12,
17(3)11,
17(3)12,
18(1)1
- example,
10(4)5,
12(1)1,
12(2)11,
12(3)19,
13(3)20,
13(4)30,
13(4)35,
13(4)39,
13(4)40,
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
- exist,
11(1)3,
11(2)3,
15(4)18,
16(1)4
- finally,
2(1)3,
10(4)1,
10(4)4,
11(2)3,
11(4)17,
11(4)18,
12(3)18,
12(3)19,
14(3)27,
16(1)4,
18(2)6,
18(4)12
- furthermore,
2(3)295,
2(4)390,
10(4)2,
12(1)6,
13(1)10,
13(3)26,
13(3)28,
13(4)32,
13(4)40,
14(1)4,
15(2)6,
16(1)3,
17(2)7,
17(4)16
- general,
1(1)66,
2(1)65,
2(1)105,
2(2)159,
2(3)230,
2(3)269,
9(2)181,
9(4)391,
10(1)2,
10(4)1,
11(1)3,
12(1)2,
12(1)5,
12(3)18,
13(3)28,
15(1)2,
15(3)13,
16(1)2,
16(1)4,
16(2)7,
17(1)3,
17(1)4,
18(1)3,
18(3)10,
18(4)12
- given,
1(1)3,
1(1)93,
2(1)3,
2(1)105,
10(1)2,
10(2)5,
10(4)1,
11(2)3,
11(4)19,
11(4)20,
12(1)2,
12(1)5,
12(1)6,
12(3)14,
13(1)10,
13(3)26,
14(3)26,
15(2)10,
15(3)12,
15(4)15,
16(1)3,
16(1)4,
17(3)12
- hard,
16(1)4
- 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,
13(3)20,
13(3)26,
13(3)27,
13(3)28,
13(4)32,
13(4)36,
13(4)39,
13(4)40,
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
- hierarchy,
10(1)2,
10(4)2,
11(3)15,
12(3)18,
14(1)4,
15(4)15,
17(2)7
- identify,
11(2)2,
11(3)12,
11(3)15,
11(3)16,
11(4)18,
11(4)20,
12(1)4,
12(4)22,
13(4)35,
14(1)13,
15(4)18,
16(2)7,
17(4)13,
18(4)13
- independent,
13(3)28,
14(1)9,
18(3)11
- instance,
2(1)65,
2(2)177,
2(3)295,
10(1)4,
10(4)3,
13(4)35,
14(1)9,
17(3)9
- interest,
2(1)3,
10(4)4
- intractable,
9(4)391,
10(2)5,
14(3)25
- introduce,
1(1)66,
1(1)93,
2(3)230,
2(4)390,
9(2)162,
10(1)2,
10(1)3,
10(4)2,
11(2)5,
11(3)12,
11(4)17,
12(1)1,
12(1)3,
12(1)5,
12(2)13,
12(3)14,
12(3)15,
13(3)24,
13(3)27,
13(4)32,
14(1)3,
14(1)12,
15(1)2,
16(2)7,
16(3)9,
16(3)12,
16(4)17,
17(2)7,
17(3)9
- Li, Ninghui,
6(1)128,
9(3)352,
9(4)391,
10(2)5,
13(1)2,
13(4)36,
13(4)40,
14(1)1,
14(3)24
- linear,
11(2)1,
11(3)13,
11(4)21,
12(3)16,
12(3)18,
14(4)29,
15(1)4,
16(4)17,
17(3)11,
18(2)5,
18(2)7
- necessary,
2(2)177,
2(4)416,
10(2)5,
11(3)16,
12(2)11,
12(3)16,
14(1)13,
16(1)3
- nontrivial,
13(1)10,
14(1)10,
17(1)4
- notion,
1(1)66,
2(1)65,
2(3)230,
9(2)181,
10(1)3,
10(4)2,
12(1)1,
12(1)6,
12(2)8,
13(3)24,
13(3)27,
13(4)36,
14(1)4,
14(4)30,
16(1)3,
17(2)7,
18(2)8,
18(3)10
- permission,
1(1)26,
2(1)105,
10(1)2,
10(2)5,
10(4)2,
13(3)24,
13(3)27,
15(4)15,
17(1)2
- polynomial,
9(4)461,
11(2)1,
11(4)21,
16(1)4
- possess,
2(3)230,
14(1)12
- 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,
13(3)22,
13(3)26,
13(3)27,
13(4)33,
13(4)36,
13(4)40,
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
- 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,
13(3)20,
13(3)21,
13(4)29,
13(4)33,
13(4)35,
13(4)40,
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,
13(4)40
- resilient,
10(4)6,
11(3)13,
11(4)22,
15(4)17,
17(4)13
- satisfy,
1(1)93,
10(2)5,
11(1)2,
12(3)18,
13(3)26,
15(3)13,
16(1)4,
18(2)6
- separation,
2(1)65,
10(1)2,
13(1)8,
15(3)13
- 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)21,
13(1)9,
13(1)10,
13(3)27,
13(4)40,
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
- several,
1(1)93,
2(1)65,
2(2)138,
2(3)230,
2(3)295,
10(1)2,
10(1)4,
10(2)6,
10(2)7,
10(3)12,
10(4)6,
11(1)4,
11(2)4,
11(4)17,
12(2)8,
13(3)27,
13(4)30,
13(4)39,
13(4)41,
14(3)27,
14(4)29,
14(4)31,
15(2)6,
15(2)10,
16(3)12,
17(1)4,
17(3)9,
17(3)10,
18(1)1
- should,
1(1)3,
10(3)9,
10(4)2,
12(2)8,
13(3)28,
13(4)35,
17(1)2,
17(3)11,
18(4)14
- situation,
2(3)230,
10(4)4,
11(3)12,
15(2)10,
17(1)2
- size,
2(3)295,
10(3)11,
10(4)5,
11(2)6,
11(3)13,
11(4)18,
12(3)16,
14(1)3,
14(4)29,
17(4)15,
18(1)4,
18(4)12
- solve,
9(2)162,
12(1)2
- state,
1(1)93,
2(2)177,
10(2)5,
12(1)4,
12(1)5,
12(2)8,
13(1)10,
13(3)20,
14(1)6,
14(1)10,
14(1)13,
14(4)32,
16(1)3,
17(2)7,
18(1)3,
18(1)4
- static,
2(1)65,
9(3)292,
10(2)5,
10(4)4,
11(2)3,
11(3)15,
12(1)1,
13(4)32,
14(1)6,
16(1)4,
17(4)15,
18(1)4,
18(2)8
- still,
1(1)26,
10(1)2,
11(4)17,
11(4)21,
12(2)13,
13(3)20,
13(3)25,
14(3)27,
17(2)8,
18(2)7
- 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,
13(4)40,
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
- task,
2(1)65,
2(3)295,
9(4)391,
10(2)5,
11(4)23,
12(3)14,
13(3)20,
13(3)27,
15(2)9,
15(3)13,
16(3)11,
17(1)4
- there,
11(2)6,
12(1)2,
12(2)8,
13(3)21,
13(4)34,
14(1)9,
14(4)30,
14(4)31,
15(4)18,
16(1)4,
17(1)2
- time,
2(1)105,
2(3)332,
2(4)390,
2(4)416,
9(4)461,
10(1)3,
10(2)8,
11(2)3,
11(2)4,
11(2)5,
11(3)13,
11(4)17,
11(4)20,
11(4)21,
11(4)23,
12(2)8,
12(3)17,
12(3)18,
12(3)19,
12(4)21,
12(4)22,
13(4)37,
13(4)39,
14(1)2,
14(1)11,
14(1)14,
14(3)26,
14(4)31,
15(2)7,
15(3)12,
15(4)17,
16(1)4,
16(4)13,
16(4)14,
16(4)17,
17(3)9,
17(3)10,
17(3)11,
17(4)13,
18(1)2,
18(1)4,
18(3)10
- together,
2(1)3,
9(4)421,
13(3)24,
14(3)23,
15(1)2
- Tripunitara, Mahesh,
15(4)18
- 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,
13(3)22,
13(3)27,
13(4)40,
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
- upon,
2(2)177,
11(2)4,
11(4)20,
12(2)8,
12(2)9,
12(2)11,
13(4)39,
15(1)4,
18(3)10
- useful,
10(3)9,
11(4)20,
12(1)5,
12(1)6,
13(4)39,
14(1)14,
15(2)10,
18(2)5,
18(3)10,
18(3)11
- Wang, Qihua,
13(4)36,
13(4)40
- when,
2(3)295,
10(2)7,
10(3)12,
10(4)4,
10(4)6,
11(2)3,
11(2)6,
11(3)15,
11(3)16,
11(4)17,
11(4)18,
12(2)10,
12(2)11,
12(4)22,
13(1)10,
13(3)27,
13(4)32,
13(4)34,
13(4)35,
13(4)37,
15(2)6,
15(2)9,
15(2)10,
15(3)14,
16(1)3,
16(2)8,
17(3)9,
17(4)13,
18(3)9,
18(4)12
- where,
2(3)230,
9(4)461,
10(4)4,
10(4)5,
10(4)6,
11(3)12,
11(3)13,
11(4)19,
12(1)3,
12(3)15,
12(3)16,
13(3)20,
13(3)22,
13(4)33,
13(4)37,
14(1)7,
15(2)6,
15(3)12,
15(3)13,
16(1)4,
16(2)5,
17(3)10,
17(4)16,
18(1)2,
18(2)8
- 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,
13(3)26,
13(4)40,
14(3)25,
14(4)32,
16(1)3,
16(1)4,
17(1)1,
17(1)2