Entry Joshi:2008:FFH 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{Joshi:2008:FFH,
author = "James B. D. Joshi and Elisa Bertino and Arif Ghafoor
and Yue Zhang",
title = "Formal foundations for hybrid hierarchies in
{GTRBAC}",
journal = j-TISSEC,
volume = "10",
number = "4",
pages = "2:1--2:??",
month = jan,
year = "2008",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1284680.1284682",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Jun 12 17:52:24 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "A role hierarchy defines permission acquisition and
role-activation semantics through role--role
relationships. It can be utilized for efficiently and
effectively structuring functional roles of an
organization having related access-control needs. The
focus of this paper is the analysis of hybrid role
hierarchies in the context of the generalized temporal
role-based access control (GTRBAC) model that allows
specification of a comprehensive set of temporal
constraints on role, user-role, and role-permission
assignments. We introduce the notion of uniquely
activable set (UAS) associated with a role hierarchy
that indicates the access capabilities of a user
resulting from his membership to a role in the
hierarchy. Identifying such a role set is essential,
while making an authorization decision about whether or
not a user should be allowed to activate a particular
combination of roles in a single session. We formally
show how UAS can be determined for a hybrid hierarchy.
Furthermore, within a hybrid hierarchy, various
hierarchical relations may be derived between an
arbitrary pair of roles. We present a set of inference
rules that can be used to generate all the possible
derived relations that can be inferred from a specified
set of hierarchical relations and show that it is sound
and complete. We also present an analysis of hierarchy
transformations with respect to role addition,
deletion, and partitioning, and show how various cases
of these transformations allow the original permission
acquisition and role-activation semantics to be
managed. The formal results presented here provide a
basis for developing efficient security administration
and management tools.",
acknowledgement = ack-nhfb,
articleno = "2",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "derived relation; role hierarchy",
}
Related entries
- access-control,
9(4)421,
10(1)2,
10(1)3,
10(2)5,
10(2)7,
10(4)4,
14(1)2,
14(1)9,
15(4)15,
15(4)18,
16(4)17
- acquisition,
11(1)3,
15(2)7
- activate,
12(2)13
- addition,
2(1)3,
2(2)177,
2(3)230,
9(2)181,
10(4)1,
11(3)15,
12(2)11,
12(3)16,
12(3)18,
13(3)27,
13(4)35,
13(4)40,
15(1)4,
17(3)12,
18(3)11
- administration,
1(1)26,
1(1)93,
2(1)65,
2(1)105,
2(2)177,
7(3)363,
8(4)388,
9(2)113,
9(4)391,
17(2)5
- all,
1(1)93,
2(2)159,
2(3)332,
2(4)416,
10(1)4,
10(2)5,
10(4)4,
11(2)1,
11(2)3,
11(2)4,
11(2)5,
11(2)6,
11(3)13,
11(4)18,
11(4)20,
11(4)22,
12(2)10,
12(3)18,
13(1)10,
13(3)25,
13(3)28,
13(4)38,
13(4)41,
14(1)6,
14(1)14,
14(3)27,
15(1)4,
15(2)9,
15(3)14,
15(4)16,
15(4)17,
16(1)4,
17(1)2,
17(3)9,
17(3)11,
18(1)2,
18(2)5
- allow,
2(4)390,
9(2)181,
10(3)10,
10(4)3,
11(1)2,
11(2)2,
11(2)4,
12(1)3,
12(1)6,
12(2)8,
12(2)10,
12(3)16,
12(3)18,
12(3)19,
13(3)21,
13(4)34,
13(4)38,
13(4)39,
13(4)41,
14(1)3,
14(1)5,
14(1)10,
14(3)25,
14(3)26,
14(3)27,
14(4)28,
14(4)29,
15(2)6,
15(2)9,
15(2)10,
16(1)3,
16(2)5,
16(3)9,
16(4)13,
16(4)17,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)16,
18(3)10
- allowed,
1(1)26,
11(2)3,
12(2)10,
13(4)40,
15(4)16
- analysis,
1(1)66,
2(1)34,
2(2)138,
2(3)230,
2(3)332,
4(1)1,
6(4)443,
7(2)175,
7(4)489,
8(3)312,
9(3)292,
9(4)391,
10(1)2,
10(3)9,
10(3)10,
10(3)11,
10(4)6,
11(2)3,
11(3)13,
11(3)15,
11(4)17,
11(4)18,
11(4)23,
12(1)4,
12(2)10,
12(3)16,
13(1)10,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)6,
14(1)8,
14(1)13,
14(2)15,
14(4)28,
15(3)14,
15(4)17,
15(4)18,
16(1)2,
16(1)4,
16(2)8,
16(3)10,
16(3)11,
16(4)14,
16(4)17,
17(1)1,
17(1)4,
17(2)7,
17(3)9,
17(4)14,
18(1)1,
18(1)4,
18(2)6
- arbitrary,
10(4)1,
11(3)12,
13(4)38,
14(1)6,
14(1)13,
15(1)2,
17(3)10
- assignment,
2(1)105,
10(2)7,
12(1)1,
13(3)24,
15(3)13,
15(4)15,
16(1)4
- associated,
1(1)26,
2(1)105,
11(4)20,
12(3)18,
13(3)26,
13(4)33,
15(3)13,
16(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,
11(1)2,
11(1)3,
11(1)4,
12(1)6,
12(2)8,
12(3)15,
13(3)20,
13(3)25,
13(4)40,
14(1)3,
14(1)8,
14(3)23,
15(3)13,
17(2)5
- based, role-,
2(1)3,
2(1)34,
2(1)65,
2(1)105,
2(2)177,
4(3)224,
5(4)492,
6(2)201,
6(3)404,
9(4)391,
10(2)5,
10(2)7,
12(3)15,
13(3)24,
13(3)27,
13(3)28,
15(3)13,
15(4)15
- basis,
2(1)34,
2(3)295,
11(4)20,
11(4)22,
12(1)2,
13(3)27,
14(1)8,
16(4)14
- Bertino, Elisa,
1(1)26,
2(1)65,
4(3)191,
4(4)321,
5(3)290,
6(1)71,
8(2)187,
8(4)388,
9(4)421,
10(1)2,
11(1)4,
13(3)24,
13(4)36
- capability,
10(1)4,
11(1)3,
11(2)2,
11(3)14,
16(2)7,
16(4)13,
17(2)7,
17(3)9,
17(3)10
- case,
7(2)206,
9(4)391,
11(3)14,
11(4)19,
11(4)21,
12(1)1,
12(1)5,
12(2)10,
12(4)20,
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
- combination,
15(1)3,
17(2)5
- complete,
10(1)4,
10(2)5,
11(2)5,
12(1)1,
12(3)17,
13(3)20,
13(3)27,
13(4)40,
14(4)31,
15(4)18
- comprehensive,
10(1)2,
11(3)12,
13(3)24,
15(4)17,
15(4)18,
17(3)12,
18(1)4
- 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,
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,
13(4)40,
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
- context,
7(3)392,
10(1)2,
10(2)8,
10(3)12,
11(3)13,
11(3)16,
12(3)18,
12(4)20,
14(1)2,
14(1)4,
15(1)2,
15(2)8,
15(4)16,
17(2)7,
17(3)12,
18(3)10
- control, access-,
9(4)421,
10(1)2,
10(1)3,
10(2)5,
10(2)7,
10(4)4,
14(1)2,
14(1)9,
15(4)15,
15(4)18,
16(4)17
- decision,
1(1)3,
1(1)26,
11(1)3,
14(1)3,
15(3)13,
16(1)3,
16(4)16,
17(1)2,
18(1)3
- define,
1(1)26,
2(2)177,
10(1)3,
10(1)4,
10(2)8,
10(4)5,
12(1)1,
12(3)19,
13(3)24,
13(3)27,
13(4)29,
13(4)36,
14(1)9,
14(1)14,
14(3)25,
16(1)4,
17(1)2,
17(1)4
- derived,
5(1)62,
13(4)37,
14(1)6,
17(4)13
- determined,
17(3)10
- developing,
10(4)1,
11(1)2,
14(3)23
- effectively,
10(3)12,
11(3)15,
14(1)10,
15(1)5
- efficient,
1(1)26,
3(2)63,
6(2)258,
6(3)365,
7(1)21,
9(4)391,
9(4)461,
10(1)3,
10(2)5,
10(2)6,
11(1)3,
11(2)4,
11(2)6,
11(3)15,
11(4)19,
12(1)1,
12(3)15,
12(3)18,
12(4)21,
13(1)9,
13(1)10,
13(3)24,
13(3)27,
13(4)31,
13(4)32,
13(4)34,
13(4)38,
14(1)5,
14(1)14,
15(1)4,
15(2)6,
15(2)9,
15(4)16,
16(1)2,
16(1)4,
17(3)10,
17(4)15,
18(3)11
- efficiently,
2(3)269,
11(3)15,
12(4)20,
13(4)32,
16(4)17,
17(1)4,
17(4)15,
18(1)4
- essential,
10(4)1,
11(2)2,
13(4)32,
13(4)34,
15(3)14,
18(1)2,
18(2)5
- focus,
11(2)6,
11(3)12,
11(4)19,
12(1)3,
12(2)12,
14(3)23,
15(4)16,
16(3)10,
18(4)13
- formal,
2(1)65,
2(1)105,
8(4)351,
10(2)8,
10(3)10,
12(1)3,
12(3)19,
13(3)27,
14(1)9,
14(2)16,
16(4)17,
17(1)3,
18(1)4
- formally,
1(1)26,
2(3)230,
9(4)421,
10(3)9,
11(3)13,
11(4)17,
12(2)8,
13(3)24,
13(3)27,
14(4)30,
17(1)2,
17(1)3
- foundation,
6(2)201,
9(1)94,
14(3)23
- functional,
10(4)3,
12(1)4,
15(1)3
- furthermore,
2(3)295,
2(4)390,
12(1)6,
12(4)20,
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
- generalized,
13(4)39,
16(1)2,
18(2)8
- generate,
2(4)390,
10(2)5,
11(4)18,
12(2)10,
12(2)11,
13(3)24,
14(1)6,
14(1)12,
16(2)7,
16(2)8,
18(3)9
- Ghafoor, Arif,
8(2)187,
8(4)388
- having,
12(1)1,
14(1)9,
14(3)27
- here,
1(1)3,
10(2)7,
11(2)3,
11(4)18,
14(1)9
- hierarchical,
12(1)4,
12(3)18,
14(1)3
- hierarchy,
10(1)2,
11(3)15,
12(3)18,
12(4)20,
14(1)4,
15(4)15,
17(2)7
- how,
2(1)3,
2(2)138,
2(3)269,
7(2)319,
10(2)5,
10(2)8,
10(4)1,
10(4)5,
11(3)13,
11(4)18,
12(1)2,
12(2)9,
12(2)12,
12(3)18,
12(3)19,
13(1)10,
13(2)13,
13(3)25,
13(4)31,
13(4)36,
14(1)2,
14(3)26,
15(1)5,
15(3)14,
15(4)15,
16(1)3,
16(2)5,
16(2)8,
17(1)1,
17(1)2,
17(1)3,
17(4)15,
18(1)1,
18(1)3,
18(2)6,
18(3)9,
18(4)14
- hybrid,
11(1)3,
17(4)16
- identifying,
11(2)2,
11(3)12,
13(4)30,
15(2)6,
15(2)7,
15(3)14,
17(3)12
- indicate,
2(3)230,
12(1)6,
13(4)35,
16(3)11,
17(2)6,
18(3)9,
18(4)13
- inference,
8(1)78,
8(1)119,
10(1)4,
15(4)15
- inferred,
2(4)416
- introduce,
1(1)66,
1(1)93,
2(3)230,
2(4)390,
9(2)162,
10(1)2,
10(1)3,
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,
12(4)20,
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
- Joshi, James B. D.,
8(2)187,
8(4)388
- making,
2(2)159,
12(3)18,
13(3)22,
14(1)3,
16(3)11,
17(4)16,
18(1)1
- managed,
12(1)1,
16(3)9
- management,
1(1)3,
2(1)3,
2(1)65,
2(1)105,
2(2)138,
2(2)177,
2(3)230,
2(4)354,
2(4)390,
3(2)107,
4(4)321,
4(4)453,
5(2)95,
6(3)327,
9(4)391,
10(4)4,
11(4)21,
12(1)6,
12(3)18,
13(1)5,
13(4)36,
16(1)4
- may,
2(2)138,
2(2)177,
9(4)391,
10(3)12,
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,
13(4)40,
15(2)10,
16(1)4,
17(1)2,
17(1)4,
18(1)1,
18(2)5
- membership,
2(4)354,
11(1)3,
11(2)3,
12(3)15,
13(4)40,
14(3)23
- need,
2(2)177,
2(3)230,
2(4)390,
9(4)421,
10(4)3,
12(3)17,
13(3)22,
15(4)17,
15(4)18,
16(2)6,
17(3)10,
18(2)6,
18(2)7
- 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,
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,
13(4)40,
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
- notion,
1(1)66,
2(1)65,
2(3)230,
9(2)181,
10(1)3,
12(1)1,
12(1)6,
12(2)8,
12(4)20,
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
- organization,
1(1)66,
2(1)34,
2(1)65,
2(1)105,
2(2)159,
2(3)230,
2(3)269,
2(3)332,
2(4)416,
9(2)113,
9(4)391,
11(1)3,
12(3)15,
14(3)23,
14(3)25
- original,
9(4)461,
11(4)17,
12(3)16,
13(3)25,
14(1)12,
14(3)25,
15(3)12,
17(1)4
- pair,
2(3)230,
14(3)27
- paper,
1(1)66,
1(1)93,
2(1)34,
2(1)105,
2(2)138,
2(2)177,
2(3)269,
2(4)390,
7(2)319,
9(2)162,
9(2)181,
9(4)421,
10(1)2,
10(1)4,
10(2)5,
10(2)7,
10(3)9,
10(3)10,
10(3)11,
10(3)12,
10(4)4,
11(1)2,
11(2)1,
11(2)6,
12(2)12,
14(4)28,
14(4)32
- particular,
2(2)177,
2(4)390,
10(4)1,
10(4)3,
11(2)6,
12(4)21,
13(4)40,
14(1)2,
15(3)14,
16(2)5,
17(3)9,
17(4)14
- partitioning,
2(1)3
- permission,
1(1)26,
2(1)105,
10(1)2,
10(2)5,
12(4)20,
13(3)24,
13(3)27,
15(4)15,
17(1)2
- possible,
2(1)105,
10(2)5,
10(4)4,
11(2)6,
11(3)16,
11(4)22,
12(1)6,
12(2)10,
13(3)28,
13(4)33,
13(4)35,
13(4)39,
14(1)3,
14(1)14,
14(3)25,
14(4)32,
15(2)10,
17(1)2,
17(3)9,
18(1)4,
18(3)9
- present,
1(1)26,
2(1)3,
2(1)65,
2(2)177,
2(3)230,
2(3)269,
2(3)295,
2(4)354,
7(2)319,
9(2)181,
9(4)461,
10(1)2,
10(2)7,
10(3)10,
10(3)11,
10(3)12,
10(4)3,
11(1)2,
11(1)4,
11(2)2,
11(2)5,
11(3)14,
11(4)22,
12(1)2,
12(1)4,
12(2)10,
12(2)11,
12(3)14,
12(3)15,
12(3)16,
12(3)17,
12(4)22,
13(1)10,
13(3)20,
13(3)22,
13(3)25,
13(3)28,
13(4)29,
13(4)41,
14(1)4,
14(1)5,
14(1)6,
15(1)2,
15(2)6,
15(2)8,
15(2)10,
15(3)12,
15(3)13,
15(4)16,
15(4)18,
16(2)6,
16(2)7,
16(4)13,
16(4)14,
17(1)4,
17(2)6,
17(2)7,
17(2)8,
17(3)9,
17(3)12,
17(4)14,
17(4)15,
17(4)16,
18(1)3,
18(1)4,
18(2)7,
18(3)9,
18(3)10,
18(3)11,
18(4)12,
18(4)14
- presented,
1(1)3,
9(2)162,
10(2)7,
12(2)8,
13(3)25,
15(3)14,
15(4)16,
18(4)12
- provide,
1(1)3,
1(1)93,
2(1)3,
2(1)34,
2(1)65,
2(1)105,
2(3)230,
2(4)390,
7(2)319,
10(1)3,
10(2)8,
10(3)10,
10(4)6,
11(1)3,
11(1)4,
11(2)2,
11(3)12,
11(3)13,
11(4)17,
11(4)20,
11(4)23,
12(1)2,
12(1)3,
12(2)8,
12(2)9,
12(3)14,
12(3)15,
12(3)16,
12(4)22,
13(3)22,
13(3)24,
13(4)31,
13(4)34,
13(4)38,
13(4)41,
14(1)4,
14(1)7,
14(1)8,
14(3)25,
14(4)28,
15(2)6,
15(2)10,
15(4)17,
15(4)18,
16(1)3,
16(2)5,
16(3)9,
16(3)11,
16(4)17,
17(2)5,
17(3)11,
17(3)12,
17(4)16,
18(1)1,
18(1)2,
18(2)5,
18(2)7,
18(4)13,
18(4)14
- related,
9(4)421,
10(2)5,
13(3)27,
15(2)7,
15(3)11,
16(2)7
- relation,
1(1)93,
2(4)390,
10(1)4,
13(3)27,
14(1)4,
14(4)30,
17(1)1
- relationship,
2(1)3,
2(4)390,
6(1)43,
9(2)162,
9(4)391,
10(4)3,
12(1)2,
13(4)40,
14(3)24,
14(4)30,
15(4)18,
17(2)7
- respect,
2(2)138,
11(3)13,
12(1)5,
13(3)22
- result,
1(1)3,
1(1)26,
2(3)230,
2(4)390,
9(2)162,
10(1)3,
10(1)4,
10(2)5,
10(2)6,
10(3)9,
10(3)11,
10(4)5,
11(2)3,
11(2)5,
11(3)13,
11(3)15,
11(4)18,
11(4)20,
11(4)21,
11(4)22,
12(1)4,
12(2)9,
12(3)14,
12(3)17,
13(1)10,
13(3)22,
13(3)24,
13(3)25,
13(4)33,
13(4)35,
14(1)2,
14(1)14,
14(2)19,
15(1)5,
15(2)7,
15(2)8,
15(3)12,
15(3)13,
15(3)14,
15(4)15,
16(1)2,
16(1)3,
16(2)5,
16(2)6,
16(2)7,
16(3)10,
16(3)11,
16(4)14,
16(4)17,
17(2)7,
17(3)9,
17(3)10,
17(3)12,
17(4)14,
18(1)4,
18(2)5,
18(2)6,
18(3)9,
18(3)11,
18(4)12,
18(4)13
- resulting,
2(1)34,
10(1)2,
11(4)20,
15(1)4,
15(1)5,
15(2)10,
15(3)13,
15(4)15,
16(3)10,
16(4)17,
17(2)7
- role,
2(1)3,
2(1)65,
2(1)105,
2(2)177,
9(2)113,
10(1)2,
10(2)5,
11(1)3,
11(4)20,
12(1)1,
12(3)15,
13(3)20,
13(3)27,
13(4)36,
13(4)40,
15(3)13,
15(4)15,
15(4)18
- role, role-,
2(1)3,
2(1)105
- role, user-,
2(1)105
- role-based,
2(1)3,
2(1)34,
2(1)65,
2(1)105,
2(2)177,
3(4)207,
4(1)37,
4(3)191,
4(3)224,
5(4)492,
6(2)201,
6(3)404,
9(4)391,
10(2)5,
10(2)7,
12(1)1,
12(3)15,
13(3)24,
13(3)27,
13(3)28,
15(3)13,
15(4)15
- rule,
2(1)65,
10(1)4,
10(4)4,
10(4)5,
12(1)5,
12(4)21,
14(1)2,
15(2)6,
15(4)18,
16(4)16,
17(2)7
- semantic,
1(1)93,
10(2)8,
11(4)21,
12(2)13,
12(3)14,
13(2)12,
13(3)21,
13(4)36,
14(3)25,
15(3)13,
16(1)1,
16(2)7,
17(1)2,
17(1)3,
17(2)7
- session,
2(3)332,
7(3)333,
10(2)8,
16(3)10,
16(4)15
- set,
2(1)34,
2(2)138,
2(4)390,
8(1)3,
9(4)421,
10(2)5,
10(3)12,
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,
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
- should,
1(1)3,
10(3)9,
12(2)8,
12(4)20,
13(3)28,
13(4)35,
17(1)2,
17(3)11,
18(4)14
- single,
2(2)177,
2(4)354,
10(1)4,
10(3)11,
10(4)1,
11(1)4,
11(2)5,
12(3)18,
13(1)10,
14(1)3,
15(1)4,
17(3)10,
17(4)16
- sound,
10(2)6,
13(3)20,
15(4)18,
16(2)6
- specification,
1(1)26,
2(1)65,
2(2)177,
3(4)207,
6(4)501,
8(2)187,
8(4)351,
10(2)7,
10(2)8,
10(3)9,
11(1)4,
11(4)19,
13(3)24,
13(3)26,
14(3)24,
15(3)13,
15(4)16,
16(1)3,
16(1)4,
16(4)13,
17(2)5,
17(4)16,
18(2)7,
18(2)8
- specified,
1(1)26,
9(4)421,
11(1)3,
11(1)4,
11(2)4,
12(3)19,
13(3)20,
13(3)28,
13(4)35,
17(1)2
- temporal,
2(3)295,
4(3)191,
5(1)62,
10(1)3,
14(1)14,
18(2)7
- through,
5(4)367,
6(1)1,
9(2)162,
10(3)12,
10(4)6,
11(2)2,
11(3)12,
11(4)22,
11(4)23,
12(2)8,
12(2)13,
13(2)12,
13(3)25,
14(1)13,
15(3)12,
15(4)16,
16(2)5,
16(2)7,
16(3)9,
17(4)14,
18(1)2,
18(2)7,
18(3)11
- tool,
1(1)66,
2(3)332,
2(4)390,
7(2)274,
9(2)181,
12(2)10,
13(3)24,
13(3)26,
13(4)30,
13(4)40,
14(1)6,
15(1)3,
15(4)18,
16(1)4,
16(2)7,
17(2)7,
18(1)1,
18(1)4
- transformation,
15(2)10
- used,
1(1)3,
2(1)65,
2(4)416,
7(2)319,
9(2)181,
10(1)2,
10(2)5,
10(2)7,
10(2)8,
11(1)2,
11(1)3,
11(2)3,
11(3)14,
11(3)15,
11(3)16,
11(4)21,
11(4)22,
12(2)8,
12(3)15,
13(1)10,
13(3)22,
13(3)25,
13(4)29,
13(4)34,
14(1)3,
14(1)12,
14(1)13,
14(3)27,
15(1)3,
15(1)5,
15(3)12,
15(4)17,
15(4)18,
16(2)7,
16(2)8,
16(3)10,
17(1)1,
17(2)7,
17(3)9,
17(4)13,
18(1)3,
18(2)5,
18(2)6,
18(3)9,
18(4)13,
18(4)14
- user-role,
2(1)105
- utilized,
10(1)3
- various,
10(1)3,
10(3)11,
11(1)3,
11(2)3,
11(2)6,
11(3)14,
11(3)15,
12(1)4,
13(4)35,
14(1)13,
14(4)28,
18(1)1,
18(2)5
- whether,
1(1)3,
1(1)26,
10(2)5,
10(4)5,
11(2)3,
11(2)6,
11(3)16,
12(1)1,
12(4)20,
13(3)26,
13(4)40,
14(3)25,
14(4)32,
16(1)3,
16(1)4,
17(1)1,
17(1)2
- while,
2(3)230,
2(4)354,
9(4)391,
9(4)421,
9(4)461,
10(2)5,
11(1)4,
11(2)2,
11(2)6,
11(4)18,
11(4)19,
11(4)22,
12(2)9,
12(3)16,
13(1)5,
13(3)22,
13(3)25,
13(4)39,
13(4)41,
14(3)25,
14(3)26,
14(4)31,
15(3)12,
15(4)15,
15(4)17,
16(3)9,
16(3)12,
16(4)16,
17(1)4,
17(3)9,
17(4)15,
18(1)1,
18(2)7