Entry Basin:2012:DEA 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{Basin:2012:DEA,
author = "David Basin and Samuel J. Burri and G{\"u}nter
Karjoth",
title = "Dynamic enforcement of abstract separation of duty
constraints",
journal = j-TISSEC,
volume = "15",
number = "3",
pages = "13:1--13:??",
month = nov,
year = "2012",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2382448.2382451",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Wed Nov 28 17:25:14 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "Separation of Duties (SoD) aims at preventing fraud
and errors by distributing tasks and associated
authorizations among multiple users. Li and Wang [2008]
proposed an algebra (SoDA) for specifying SoD
requirements, which is both expressive in the
requirements it formalizes and abstract in that it is
not bound to a workflow model. In this article, we
bridge the gap between the specification of SoD
constraints modeled in SoDA and their enforcement in a
dynamic, service-oriented enterprise environment. We
proceed by generalizing SoDA's semantics to traces,
modeling workflow executions that satisfy the
respective SoDA terms. We then refine the set of traces
induced by a SoDA term to also account for a workflow's
control-flow and role-based authorizations. Our
formalization, which is based on the process algebra
CSP, supports the enforcement of SoD on general
workflows and handles changing role assignments during
workflow execution, addressing a well-known source of
fraud. The resulting CSP model serves as blueprint for
a distributed and loosely coupled architecture where
SoD enforcement is provisioned as a service. This
concept, which we call SoD as a Service, facilitates a
separation of concerns between business experts and
security professionals. As a result, integration and
configuration efforts are minimized and enterprises can
quickly adapt to organizational, regulatory, and
technological changes. We describe an implementation of
SoD as a Service, which combines commercial components
such as a workflow engine with newly developed
components such as an SoD enforcement monitor. To
evaluate our design decisions and to demonstrate the
feasibility of our approach, we present a case study of
a drug dispensation workflow deployed in a hospital.",
acknowledgement = ack-nhfb,
articleno = "13",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- abstract,
2(3)332,
10(1)4,
15(3)14,
17(1)3,
18(2)8
- account,
13(3)20,
13(3)24,
18(1)1,
18(4)12
- adapt,
1(1)93,
15(4)17
- addressing,
11(4)19,
13(4)31,
18(3)9
- aim,
10(3)12,
11(3)13,
12(1)4,
13(3)20,
17(3)12
- algebra,
5(1)1,
6(2)286,
12(1)1,
16(4)17
- approach,
1(1)3,
1(1)26,
2(1)34,
2(2)138,
2(3)269,
2(3)295,
5(2)119,
5(3)203,
6(1)128,
7(3)392,
9(4)391,
9(4)421,
10(1)2,
10(1)4,
10(3)11,
10(3)12,
10(4)4,
11(1)3,
11(3)15,
11(3)16,
11(4)17,
11(4)19,
12(1)1,
12(1)4,
12(2)11,
12(3)14,
13(3)20,
13(3)24,
13(4)31,
13(4)35,
13(4)36,
14(1)8,
14(3)23,
14(4)29,
15(1)4,
15(3)12,
15(4)15,
15(4)17,
15(4)18,
16(2)5,
16(2)7,
16(2)8,
16(4)15,
16(4)16,
17(3)12,
17(4)14,
18(2)5,
18(2)7,
18(3)11
- architecture,
2(2)177,
2(3)269,
4(3)289,
8(2)187,
10(4)6,
11(1)2,
11(1)3,
13(4)37,
14(1)3,
15(1)2,
16(1)1,
16(2)5,
16(3)11,
17(2)8,
18(2)8
- article,
10(1)3,
11(1)3,
11(1)4,
11(2)5,
11(3)12,
11(3)14,
11(3)15,
11(3)16,
11(4)20,
11(4)22,
11(4)23,
12(1)1,
12(1)2,
12(1)4,
12(1)6,
12(2)8,
12(2)10,
12(2)13,
12(3)14,
12(3)16,
12(3)17,
12(3)19,
12(4)21,
12(4)22,
13(3)22,
13(3)24,
13(3)25,
13(3)27,
13(3)28,
13(4)29,
13(4)31,
13(4)32,
13(4)34,
13(4)36,
13(4)41,
14(1)2,
14(1)3,
14(1)4,
14(1)10,
14(1)13,
14(1)14,
14(3)23,
14(3)25,
14(4)30,
15(2)9,
15(2)10,
15(3)11,
15(3)12,
15(4)15,
15(4)16,
15(4)17,
16(1)1,
16(1)4,
16(2)6,
16(2)7,
16(2)8,
16(3)10,
16(4)14,
16(4)15,
17(2)8,
17(3)9,
17(3)11,
17(3)12,
17(4)13,
17(4)16,
18(1)3,
18(2)5,
18(2)7,
18(3)9,
18(3)10,
18(3)11,
18(4)12,
18(4)14
- assignment,
2(1)105,
10(2)7,
10(4)2,
12(1)1,
13(3)24,
15(4)15,
16(1)4
- associated,
1(1)26,
2(1)105,
10(4)2,
11(4)20,
12(3)18,
13(3)26,
13(4)33,
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,
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,
13(4)40,
14(1)3,
14(1)8,
14(3)23,
17(2)5
- based,
1(1)3,
2(1)34,
2(2)177,
2(3)230,
2(3)295,
2(3)332,
3(3)161,
7(2)319,
9(2)162,
9(2)181,
9(4)421,
10(1)2,
10(1)4,
10(2)6,
11(1)3,
11(2)1,
11(2)4,
11(3)12,
11(3)15,
11(4)17,
11(4)18,
12(1)1,
12(1)4,
12(2)13,
12(3)16,
12(3)17,
12(3)18,
13(3)24,
13(3)27,
13(3)28,
13(4)29,
13(4)30,
13(4)31,
13(4)41,
14(1)3,
14(1)4,
14(1)8,
14(1)9,
14(1)10,
14(4)30,
15(2)6,
15(2)7,
16(2)8,
16(4)16,
17(1)3,
17(2)7,
17(3)12,
17(4)13,
17(4)14,
17(4)15,
17(4)16,
18(1)1,
18(1)4,
18(3)10,
18(3)11,
18(4)14
- 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,
10(4)2,
12(3)15,
13(3)24,
13(3)27,
13(3)28,
15(4)15
- Basin, David,
14(2)16,
15(4)15,
16(1)3,
17(2)7
- 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,
12(4)20,
13(4)30,
13(4)33,
14(3)24,
15(1)5,
15(2)10,
15(3)11,
16(1)4,
16(2)5,
16(3)10,
16(4)17,
17(3)9,
18(1)1,
18(4)13,
18(4)14
- bound,
9(4)391,
10(4)6,
11(2)3,
11(4)19,
12(3)16,
13(3)27,
14(1)14,
16(1)2,
16(1)4,
17(3)11,
18(1)4
- bridge,
16(2)7
- business,
2(1)65,
13(4)36
- call,
9(1)61,
12(1)3,
12(3)19,
12(4)21,
13(4)35,
16(2)8,
17(2)5
- 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,
12(4)20,
13(4)32,
13(4)34,
14(1)14,
14(2)18,
14(4)28,
15(1)5,
15(2)7,
16(1)4,
17(1)1,
17(2)7,
18(1)1,
18(1)2,
18(1)4
- change,
2(3)332,
12(3)14,
13(4)30,
13(4)34,
14(1)2,
15(4)16,
15(4)17,
16(4)17,
17(4)15,
18(3)9
- changing,
12(1)1,
13(3)20
- combine,
12(4)20,
13(3)22,
13(4)33,
14(1)5,
14(3)24,
16(4)15
- commercial,
2(1)65,
13(3)22,
13(4)36
- component,
2(1)105,
9(4)421,
11(3)13,
13(3)24,
13(3)28,
13(4)32,
16(2)5,
16(3)9,
18(2)8
- concept,
1(1)93,
7(1)97,
8(3)287,
10(1)2,
11(2)4,
11(4)17,
13(4)37,
16(4)16,
17(1)3,
17(2)7,
17(4)14
- concerns,
10(3)12,
12(4)21,
14(4)31
- configuration,
2(2)177,
12(3)14,
15(4)15,
15(4)17,
17(2)5,
18(1)4,
18(2)7
- 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,
13(4)40,
14(4)32,
15(2)10,
15(4)15,
16(1)3,
16(1)4,
16(4)17,
17(1)3,
17(2)8,
18(2)6
- control-flow,
13(1)4
- coupled,
2(3)295
- decision,
1(1)3,
1(1)26,
10(4)2,
11(1)3,
14(1)3,
16(1)3,
16(4)16,
17(1)2,
18(1)3
- demonstrate,
2(3)295,
10(1)4,
10(4)1,
10(4)4,
10(4)6,
11(1)3,
11(3)16,
11(4)22,
12(1)4,
12(3)19,
13(1)10,
13(4)30,
13(4)31,
13(4)38,
14(3)27,
15(1)2,
15(1)4,
15(2)7,
15(3)12,
15(4)16,
16(3)9,
16(3)10,
17(2)8,
17(3)10,
17(3)12,
17(4)16,
18(2)8,
18(4)12,
18(4)14
- deployed,
10(3)11,
11(3)14,
13(3)26,
14(3)23,
15(1)2,
15(2)6,
15(4)16,
17(3)9,
18(1)1
- describe,
1(1)66,
2(1)3,
2(1)34,
2(1)105,
2(2)159,
2(2)177,
2(3)230,
2(4)354,
2(4)390,
7(2)319,
10(4)3,
11(4)21,
12(1)1,
12(2)11,
12(3)16,
12(4)21,
13(4)30,
13(4)34,
14(3)24,
14(3)27,
15(3)11,
16(3)10,
16(3)12,
16(4)14,
17(2)5,
18(2)8
- 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)20,
12(4)22,
13(1)10,
13(4)29,
13(4)32,
14(1)8,
14(3)24,
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
- developed,
10(1)4,
10(2)7,
11(3)14,
12(1)4,
13(3)26,
13(3)28,
14(1)6,
14(1)13,
16(4)17,
17(1)3,
18(1)1,
18(2)8
- distributed,
2(1)34,
2(1)105,
2(2)159,
2(3)332,
4(2)103,
4(4)407,
6(1)128,
8(1)41,
9(1)1,
9(4)421,
10(2)7,
11(1)3,
11(1)4,
11(2)1,
11(3)14,
12(1)1,
12(1)2,
12(2)8,
12(2)12,
13(2)16,
13(3)25,
14(1)3,
14(1)12,
14(3)27,
14(4)31,
15(2)6,
16(4)14,
16(4)15,
17(4)13,
18(1)2,
18(2)6
- during,
1(1)26,
9(4)421,
11(1)3,
11(4)18,
12(2)8,
13(3)25,
15(4)17,
17(2)6,
17(3)10
- duty,
2(1)65,
10(1)2,
12(4)20
- dynamic,
2(1)65,
3(3)136,
5(4)367,
7(1)21,
10(2)7,
10(4)4,
11(2)3,
11(3)15,
12(1)6,
12(2)10,
12(3)18,
13(2)14,
13(4)32,
14(2)15,
14(3)24,
16(2)5,
17(2)5,
17(4)15,
18(3)11
- effort,
2(2)138,
2(3)332,
10(4)6,
16(3)10
- enforcement,
2(1)65,
10(2)7,
11(1)3,
12(2)8,
12(3)19,
13(3)21,
13(3)25,
13(3)28,
14(1)6,
14(1)14,
15(2)10,
16(1)3,
17(1)3
- engine,
2(4)390,
10(4)4,
13(3)28
- enterprise,
2(1)34,
2(3)269,
11(1)4,
13(4)31,
14(1)3,
15(4)15,
15(4)18,
17(3)11
- environment,
6(4)566,
11(1)4,
11(4)20,
12(3)14,
13(4)34,
16(4)15
- error,
1(1)3,
14(1)5,
14(3)26,
15(2)7,
15(4)18,
16(2)8
- evaluate,
2(2)138,
2(4)354,
10(4)3,
11(2)3,
11(3)12,
11(3)14,
13(3)26,
13(4)30,
13(4)35,
14(1)3,
15(4)17,
16(1)2,
16(2)6,
17(1)1,
17(2)8,
17(4)14,
18(4)14
- execution,
1(1)26,
10(4)3,
12(2)10,
12(2)11,
12(3)14,
14(1)6,
14(2)15,
14(4)32,
15(1)2,
15(2)10,
16(1)3,
16(2)6,
16(2)7,
18(1)2,
18(1)4
- expert,
10(3)10,
12(1)4,
17(3)12
- expressive,
1(1)93,
11(4)21,
12(1)1,
13(3)20,
13(3)28,
14(1)8,
14(1)9,
16(4)17,
17(1)2
- facilitate,
12(1)4,
13(4)36,
14(3)23,
15(2)6
- feasibility,
11(1)3,
13(3)28,
13(4)30,
15(2)7,
16(3)10
- formalize,
11(2)4,
13(3)22
- gap,
14(4)31,
15(1)3,
16(2)7,
17(1)2
- 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,
12(4)20,
13(3)28,
15(1)2,
16(1)2,
16(1)4,
16(2)7,
17(1)3,
17(1)4,
18(1)3,
18(3)10,
18(4)12
- generalizing,
18(2)8
- handle,
12(1)5,
12(3)18,
16(2)5
- implementation,
1(1)3,
1(1)26,
1(1)66,
2(1)34,
2(2)177,
2(4)390,
2(4)416,
7(2)319,
11(1)2,
11(1)3,
11(1)4,
11(3)16,
11(4)18,
11(4)22,
12(1)1,
12(2)10,
12(2)11,
12(3)14,
12(4)22,
13(1)4,
13(3)26,
13(3)27,
14(1)3,
15(1)3,
15(2)8,
15(4)16,
16(1)1,
16(1)2,
16(3)9,
16(3)10,
16(3)11,
16(4)13,
17(2)5,
17(2)8,
18(1)2,
18(1)3,
18(1)4
- induced,
18(3)11
- integration,
10(1)3,
11(1)4,
13(4)37,
16(4)17
- Karjoth, Günter,
6(2)232
- known, well-,
2(1)65,
2(2)138,
12(1)5,
13(3)24,
16(1)2,
18(4)12
- Li,
16(1)4
- minimized,
15(4)15
- modeled,
12(3)18,
13(3)26,
18(2)7
- modeling,
8(1)78,
8(1)119,
10(1)2,
10(1)4,
10(4)5,
11(4)19,
14(4)28
- monitor,
12(3)19,
14(1)6,
15(2)10,
16(1)4
- multiple,
2(2)138,
2(2)177,
2(4)390,
11(1)4,
11(4)18,
11(4)22,
11(4)23,
12(1)3,
13(4)32,
13(4)36,
14(1)4,
14(1)6,
14(3)25,
14(4)31,
15(1)2,
15(4)16,
15(4)17,
18(4)13
- newly,
17(4)14
- 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,
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,
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
- organizational,
11(1)2
- 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)2,
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(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
- preventing,
12(2)12,
15(1)2
- process,
1(1)26,
2(1)65,
9(4)421,
10(3)9,
10(4)4,
11(1)2,
11(1)4,
11(4)18,
11(4)20,
12(2)11,
12(3)14,
13(1)10,
13(3)25,
13(4)36,
16(2)5,
16(2)7,
17(2)6,
17(4)14,
18(1)3
- proposed,
1(1)93,
2(2)138,
2(3)269,
2(4)416,
4(3)224,
9(2)162,
9(4)421,
10(1)2,
10(3)12,
10(4)4,
11(1)2,
11(1)3,
11(2)5,
11(3)14,
11(4)22,
11(4)23,
12(1)2,
12(1)3,
12(3)18,
12(4)21,
13(3)20,
13(3)27,
13(3)28,
13(4)36,
13(4)38,
13(4)39,
14(3)24,
14(3)27,
15(1)5,
15(3)11,
15(4)15,
15(4)17,
16(3)10,
16(3)11,
16(4)14,
16(4)16,
17(1)3,
17(4)14,
18(3)11
- quickly,
2(3)295,
10(4)4,
11(2)3,
13(3)22
- refine,
1(1)93,
17(2)7
- requirements,
2(2)177,
2(3)295,
10(2)7,
11(1)4,
12(1)1,
12(1)5,
12(2)8,
13(3)20,
13(3)22,
15(2)6,
16(1)4,
17(3)10,
18(1)3,
18(4)13
- respective,
10(3)10,
16(4)15
- 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)2,
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)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,
10(4)2,
11(4)20,
15(1)4,
15(1)5,
15(2)10,
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,
10(4)2,
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(4)15,
15(4)18
- 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,
10(4)2,
12(1)1,
12(3)15,
13(3)24,
13(3)27,
13(3)28,
15(4)15
- satisfy,
1(1)93,
10(2)5,
11(1)2,
12(3)18,
12(4)20,
13(3)26,
16(1)4,
18(2)6
- semantic,
1(1)93,
10(2)8,
10(4)2,
11(4)21,
12(2)13,
12(3)14,
13(2)12,
13(3)21,
13(4)36,
14(3)25,
16(1)1,
16(2)7,
17(1)2,
17(1)3,
17(2)7
- separation,
2(1)65,
10(1)2,
12(4)20,
13(1)8
- serve,
2(3)230,
10(4)4,
12(1)2
- service,
2(4)354,
4(4)453,
6(4)472,
10(1)2,
10(2)8,
10(3)11,
10(4)4,
10(4)6,
11(1)2,
11(1)4,
11(3)15,
11(4)19,
12(2)12,
12(3)16,
13(4)38,
13(4)39,
13(4)41,
14(1)5,
14(3)23,
15(2)6,
15(3)12,
16(2)5,
16(2)6,
16(3)11,
16(3)12,
16(4)14,
17(4)13,
17(4)15,
18(1)1,
18(1)2,
18(4)12,
18(4)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)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(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
- SoD,
10(2)5
- source,
1(1)66,
5(3)238,
12(2)11,
12(2)13,
13(1)8,
13(3)21,
14(1)8,
14(3)23,
14(3)25,
15(2)6,
18(4)12
- 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,
10(4)2,
11(1)4,
11(4)19,
13(3)24,
13(3)26,
14(3)24,
15(4)16,
16(1)3,
16(1)4,
16(4)13,
17(2)5,
17(4)16,
18(2)7,
18(2)8
- specifying,
2(3)332,
9(4)421,
10(1)2,
10(1)3,
13(3)20,
14(1)8,
16(2)5
- 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,
13(4)40,
14(1)7,
14(2)18,
14(2)19,
15(1)5,
15(2)7,
15(2)8,
15(2)10,
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
- support,
2(2)159,
5(4)492,
6(4)443,
6(4)547,
10(1)2,
10(1)4,
10(2)5,
10(2)7,
10(3)12,
10(4)5,
11(1)3,
11(2)5,
12(1)3,
12(3)14,
12(3)15,
12(4)21,
13(3)24,
13(4)31,
14(1)3,
14(1)11,
14(1)12,
14(4)29,
15(2)9,
17(2)5,
17(2)7,
17(4)15,
18(2)8,
18(3)11
- task,
2(1)65,
2(3)295,
9(4)391,
10(2)5,
11(4)23,
12(3)14,
12(4)20,
13(3)20,
13(3)27,
15(2)9,
16(3)11,
17(1)4
- technological,
17(2)6
- term,
2(3)295,
10(3)9,
11(3)15,
11(4)19,
13(3)22,
15(2)6,
15(2)8
- then,
1(1)3,
2(1)3,
2(1)65,
2(2)138,
9(4)461,
10(1)2,
10(1)4,
11(2)4,
11(4)18,
12(2)8,
12(2)13,
12(3)18,
12(4)22,
13(1)10,
13(3)22,
13(3)25,
13(4)32,
14(4)30,
14(4)31,
14(4)32,
15(1)4,
15(2)6,
15(4)18,
16(2)5,
16(2)8,
17(3)9,
17(4)15,
18(1)3,
18(1)4,
18(4)12
- trace,
13(2)18,
14(1)6,
18(1)4,
18(4)12
- Wang,
16(1)4
- well-known,
2(1)65,
2(2)138,
12(1)5,
13(3)24,
16(1)2,
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,
12(4)20,
13(3)20,
13(3)22,
13(4)33,
13(4)37,
14(1)7,
15(2)6,
15(3)12,
16(1)4,
16(2)5,
17(3)10,
17(4)16,
18(1)2,
18(2)8
- workflow,
2(1)65,
13(4)40,
16(1)4,
17(1)3