Entry Khoury:2012:CEN 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{Khoury:2012:CEN,
author = "Rapha{\"e}l Khoury and Nadia Tawbi",
title = "Corrective Enforcement: a New Paradigm of Security
Policy Enforcement by Monitors",
journal = j-TISSEC,
volume = "15",
number = "2",
pages = "10:1--10:??",
month = jul,
year = "2012",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2240276.2240281",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Tue Jul 31 17:02:31 MDT 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "Runtime monitoring is an increasingly popular method
to ensure the safe execution of untrusted codes.
Monitors observe and transform the execution of these
codes, responding when needed to correct or prevent a
violation of a user-defined security policy. Prior
research has shown that the set of properties monitors
can enforce correlates with the latitude they are given
to transform and alter the target execution. But for
enforcement to be meaningful this capacity must be
constrained, otherwise the monitor can enforce any
property, but not necessarily in a manner that is
useful or desirable. However, such constraints have not
been significantly addressed in prior work. In this
article, we develop a new paradigm of security policy
enforcement in which the behavior of the enforcement
mechanism is restricted to ensure that valid aspects
present in the execution are preserved notwithstanding
any transformation it may perform. These restrictions
capture the desired behavior of valid executions of the
program, and are stated by way of a preorder over
sequences. The resulting model is closer than previous
ones to what would be expected of a real-life monitor,
from which we demand a minimal footprint on both valid
and invalid executions. We illustrate this framework
with examples of real-life security properties. Since
several different enforcement alternatives of the same
property are made possible by the flexibility of this
type of enforcement, our study also provides metrics
that allow the user to compare monitors objectively and
choose the best enforcement paradigm for a given
situation.",
acknowledgement = ack-nhfb,
articleno = "10",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- addressed,
1(1)3,
13(4)31,
13(4)32,
13(4)36,
16(1)1,
17(3)9
- allow,
2(4)390,
9(2)181,
10(3)10,
10(4)2,
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,
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
- alternative,
2(1)3,
2(1)34,
2(3)295,
10(4)3,
12(3)16,
15(4)15,
17(2)8,
17(4)14,
18(4)13
- 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,
12(4)20,
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(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
- 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(3)11,
15(3)12,
15(3)13,
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
- aspect,
2(1)105,
2(4)416,
10(1)2,
10(3)11,
16(3)10,
17(4)16
- been,
1(1)93,
2(3)269,
2(3)332,
10(1)2,
10(3)12,
10(4)4,
11(1)2,
11(4)17,
11(4)22,
11(4)23,
12(1)1,
12(1)2,
12(3)17,
13(3)20,
13(3)27,
13(4)36,
13(4)39,
14(1)3,
14(1)13,
14(1)14,
14(3)27,
14(4)28,
16(3)10,
16(4)14,
17(1)3,
17(3)12,
17(4)14,
17(4)15,
17(4)16,
18(2)7,
18(4)14
- behavior,
2(3)295,
2(4)354,
10(4)6,
11(4)19,
12(1)5,
12(3)14,
12(3)19,
14(1)10,
14(4)32,
15(1)2,
15(3)14,
16(3)12,
17(2)8,
18(2)5,
18(2)7,
18(3)9
- best,
1(1)93,
10(4)1,
11(4)19,
12(3)16,
14(1)13,
14(3)24,
17(3)9
- 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(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
- capacity,
16(2)8
- capture,
2(2)159,
9(2)162,
10(4)6,
11(3)13,
11(3)14,
16(2)8,
17(3)11,
17(4)13
- choose,
10(4)5,
15(3)14,
18(1)1
- code,
5(3)238,
6(2)258,
11(4)23,
12(2)10,
12(2)11,
12(3)14,
12(3)19,
13(1)10,
13(2)17,
13(3)21,
15(1)2,
15(1)3,
16(1)1,
16(2)6,
16(2)7,
16(3)9,
18(4)12
- compare,
1(1)93,
12(1)2,
15(4)15
- 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(3)13,
15(4)15,
16(1)3,
16(1)4,
16(4)17,
17(1)3,
17(2)8,
18(2)6
- correct,
10(2)6,
13(3)27,
15(3)11,
16(1)1,
17(2)7
- correlate,
10(1)4
- demand,
12(2)13,
17(1)4,
18(2)5
- desirable,
9(4)391,
11(1)2
- desired,
12(4)20,
15(4)18
- develop,
2(2)138,
10(2)8,
10(3)9,
11(3)12,
12(1)4,
12(1)6,
12(3)14,
13(3)22,
13(3)27,
14(1)9,
14(4)32,
15(1)3,
15(2)9,
16(2)7,
16(3)10,
17(1)2
- different,
1(1)26,
1(1)93,
2(1)105,
2(2)138,
2(3)269,
10(1)2,
10(1)4,
10(4)4,
12(1)3,
12(3)14,
13(1)10,
13(3)27,
13(3)28,
14(1)4,
14(4)28,
15(1)2,
15(2)7,
16(1)3,
16(2)7,
16(3)9,
16(4)15,
17(2)7,
17(4)14,
18(1)1,
18(3)11
- enforce,
1(1)26,
2(2)177,
3(2)85,
7(3)392,
10(2)5,
12(2)8,
12(3)19,
13(3)22,
13(3)24,
13(3)28,
14(1)6,
15(2)6
- 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(3)13,
16(1)3,
17(1)3
- ensure,
10(2)7,
10(3)10,
12(2)9,
12(3)14,
12(3)19,
12(4)20,
13(3)21,
13(4)35,
14(1)13,
17(2)6,
17(3)11,
18(1)2
- 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,
13(4)40,
16(1)3,
16(2)5,
16(3)10,
17(1)2,
17(1)4,
18(1)1,
18(2)8,
18(4)13
- 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(3)13,
16(1)3,
16(2)6,
16(2)7,
18(1)2,
18(1)4
- expected,
11(4)20,
16(2)5,
17(3)11
- flexibility,
9(4)391,
10(1)2,
11(1)2,
17(4)16
- footprint,
17(4)16
- framework,
2(3)295,
3(4)227,
6(1)71,
6(3)404,
7(2)175,
8(2)187,
9(2)181,
9(4)391,
10(1)2,
10(3)10,
11(1)3,
11(3)12,
11(4)19,
11(4)20,
12(1)2,
12(1)4,
12(1)5,
12(3)19,
12(4)21,
13(3)24,
13(3)28,
14(1)9,
14(1)11,
14(2)21,
14(4)31,
15(3)12,
15(3)14,
15(4)17,
16(1)2,
16(3)9,
16(4)15,
16(4)17,
17(1)3,
17(2)5,
17(2)7,
17(3)11,
17(3)12,
17(4)13,
17(4)14,
17(4)15,
18(1)4,
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,
12(4)20,
13(1)10,
13(3)26,
14(3)26,
15(3)12,
15(4)15,
16(1)3,
16(1)4,
17(3)12
- has,
1(1)93,
2(1)105,
2(2)138,
2(3)230,
2(3)269,
2(3)332,
9(4)391,
10(1)3,
10(1)4,
10(3)10,
11(1)2,
11(2)2,
11(3)14,
11(4)17,
11(4)19,
11(4)22,
11(4)23,
12(1)2,
12(2)9,
12(2)10,
12(3)15,
12(4)22,
13(3)20,
13(3)25,
13(3)26,
13(3)27,
13(3)28,
13(4)36,
14(1)3,
14(1)12,
14(1)14,
14(3)26,
14(4)28,
15(1)2,
15(2)6,
15(3)12,
16(2)8,
16(4)14,
17(1)2,
17(1)3,
17(3)9,
17(3)11,
17(4)14,
17(4)15,
17(4)16,
18(2)7,
18(3)11,
18(4)14
- 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,
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(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
- however,
2(3)269,
10(2)5,
10(2)8,
11(2)6,
11(3)15,
11(4)18,
11(4)20,
11(4)22,
13(3)20,
13(3)22,
13(4)35,
13(4)38,
13(4)39,
14(1)14,
14(3)24,
14(4)28,
14(4)29,
16(2)7,
16(3)11,
17(1)2,
17(1)4,
17(3)12,
17(4)15,
18(1)1,
18(2)7,
18(4)13
- illustrate,
1(1)26,
9(2)162,
11(4)19,
13(3)25,
14(1)8,
17(1)1,
18(1)2
- increasingly,
14(1)3,
14(1)9,
14(1)14,
18(4)13
- life, real-,
9(2)162,
17(3)12
- made,
1(1)3,
2(1)34,
2(1)105,
12(3)14,
13(4)37,
18(2)7
- manner,
2(1)34,
12(2)13,
12(3)14,
14(1)7,
14(3)25,
18(3)11
- 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,
13(4)40,
16(1)4,
17(1)2,
17(1)4,
18(1)1,
18(2)5
- meaningful,
11(4)19,
15(4)17
- mechanism,
2(2)177,
3(1)51,
10(2)8,
10(4)4,
10(4)6,
11(2)5,
11(3)12,
11(3)16,
12(1)4,
12(2)9,
12(2)11,
12(2)13,
12(3)15,
12(3)19,
12(4)22,
13(3)21,
13(3)24,
13(3)25,
13(3)28,
13(4)29,
14(1)3,
14(1)11,
14(3)24,
14(3)27,
15(1)5,
15(2)6,
16(1)3,
16(2)5,
16(3)12,
17(1)3,
17(2)5,
17(3)10,
18(4)14
- method,
1(1)3,
1(1)26,
2(2)159,
2(3)295,
2(3)332,
2(4)416,
9(3)259,
10(1)3,
10(3)10,
10(4)4,
10(4)5,
11(2)2,
11(3)16,
11(4)19,
11(4)22,
12(1)2,
12(1)6,
12(2)13,
12(3)16,
13(2)15,
13(4)35,
15(1)4,
15(3)12,
15(4)15,
15(4)17,
17(3)12,
18(3)9
- metric,
2(2)138,
2(3)295,
10(4)6,
11(2)2,
18(3)11
- minimal,
12(2)8,
12(4)21,
13(3)20,
17(4)16
- monitor,
12(3)19,
14(1)6,
15(3)13,
16(1)4
- monitoring,
11(2)2,
12(2)13,
12(3)19,
13(2)12,
13(4)38,
14(1)13,
16(1)3,
16(2)7,
16(4)14
- must,
2(2)159,
2(2)177,
9(4)421,
10(3)12,
10(4)4,
11(3)13,
13(4)40,
14(4)29,
16(1)4,
17(2)6
- necessarily,
12(1)1,
18(4)13
- needed,
2(3)332,
10(4)3,
14(1)5,
15(4)15,
17(4)13,
18(2)6
- new,
1(1)3,
1(1)93,
2(1)105,
2(2)138,
2(3)295,
9(2)181,
9(4)461,
10(1)3,
10(2)6,
10(4)6,
11(4)17,
12(1)2,
12(1)3,
12(2)11,
12(3)14,
12(3)15,
12(3)16,
12(4)21,
12(4)22,
13(2)15,
13(4)29,
13(4)34,
14(1)4,
14(1)5,
14(1)6,
14(1)13,
14(3)23,
14(3)27,
14(4)30,
15(1)3,
15(2)7,
15(2)9,
15(3)12,
15(4)15,
16(2)5,
16(2)7,
16(3)12,
16(4)16,
16(4)17,
17(1)4,
17(2)7,
17(3)10,
17(4)15,
18(1)1,
18(1)2,
18(3)10,
18(3)11
- 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(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
- one,
1(1)26,
1(1)93,
2(1)3,
2(1)65,
2(3)295,
9(4)461,
10(1)2,
10(2)5,
10(2)8,
10(3)12,
10(4)3,
11(2)6,
11(3)14,
12(1)1,
12(1)5,
12(2)13,
12(3)14,
13(3)21,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)3,
14(1)5,
14(4)30,
14(4)32,
15(3)11,
15(4)16,
15(4)18,
16(1)3,
16(1)4,
16(3)9,
16(4)14,
17(2)8,
17(4)13,
18(1)1,
18(3)11,
18(4)13
- otherwise,
12(3)14,
12(4)22
- paradigm,
7(2)206,
18(3)10
- perform,
2(2)177,
2(3)269,
9(4)461,
12(2)11,
13(4)40,
15(2)6,
15(3)14,
15(4)17,
16(1)4,
16(2)8,
17(2)6
- popular,
10(4)5,
14(3)27,
15(2)8,
15(3)11,
15(4)16,
16(4)13,
17(3)11,
17(4)15,
18(1)1
- possible,
2(1)105,
10(2)5,
10(4)2,
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,
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)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(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
- prevent,
2(4)354,
13(1)10,
13(4)37,
14(1)11,
14(3)27,
15(1)2,
16(1)1,
16(1)3
- previous,
1(1)3,
1(1)93,
2(2)138,
11(2)3,
11(4)20,
12(3)16,
12(3)18,
13(1)10,
13(3)25,
14(1)3,
14(1)4,
15(2)9,
16(2)5,
16(4)13,
16(4)15,
16(4)17,
17(3)12
- prior,
2(2)159,
10(3)12,
11(2)3,
12(1)2,
12(1)3,
14(1)8,
15(4)18
- program,
2(1)65,
2(3)332,
11(3)14,
12(1)1,
12(2)10,
12(2)11,
12(3)16,
12(3)19,
13(3)21,
14(3)24,
15(1)2,
16(2)7,
17(1)2,
17(3)11,
18(1)4
- property,
1(1)66,
1(1)93,
2(1)34,
2(2)177,
9(4)391,
10(1)2,
10(2)7,
10(2)8,
10(3)9,
11(1)2,
11(3)12,
11(3)13,
12(1)2,
12(1)3,
12(2)8,
12(2)9,
12(3)14,
12(3)18,
12(3)19,
12(4)21,
13(3)26,
13(4)41,
14(2)16,
15(1)4,
15(2)9,
15(3)14,
15(4)18,
16(1)3,
16(2)5,
17(1)3,
17(1)4,
18(1)3,
18(2)6,
18(2)8,
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)2,
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(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
- real-life,
9(2)162,
17(3)12
- research,
2(1)65,
13(3)27,
15(3)12,
16(2)8,
16(3)10,
17(3)12,
18(1)1,
18(4)13,
18(4)14
- responding,
11(4)20
- restricted,
2(2)177,
12(1)1,
12(1)2,
12(4)21
- restrictions,
1(1)26,
13(3)21
- resulting,
2(1)34,
10(1)2,
10(4)2,
11(4)20,
15(1)4,
15(1)5,
15(3)13,
15(4)15,
16(3)10,
16(4)17,
17(2)7
- runtime,
12(2)10,
13(3)25,
16(1)4,
16(2)5,
16(3)9,
17(3)11
- safe,
1(1)26,
12(3)14,
12(3)19,
16(2)5
- same,
2(2)177,
2(3)269,
2(4)390,
10(1)3,
10(1)4,
11(2)3,
12(2)10,
12(3)18,
12(4)21,
13(1)10,
13(3)25,
13(4)31,
15(1)3,
15(2)7,
15(4)16,
17(3)10,
17(4)15,
18(1)1
- sequence,
2(3)295,
10(2)8,
13(3)20,
13(4)35,
14(4)32,
15(1)2,
16(2)8
- 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(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,
12(4)20,
13(3)27,
13(4)30,
13(4)39,
13(4)41,
14(3)27,
14(4)29,
14(4)31,
15(2)6,
16(3)12,
17(1)4,
17(3)9,
17(3)10,
18(1)1
- shown,
2(1)3,
11(1)2,
11(2)3,
12(3)16,
13(3)25,
13(4)33,
14(1)7,
15(2)7,
15(3)14,
18(2)5,
18(2)6
- significantly,
1(1)93,
9(2)181,
9(4)461,
11(2)3,
12(3)17,
13(4)29,
14(1)7,
15(1)4,
15(2)9,
15(3)11,
16(3)9,
17(1)1,
18(1)1
- since,
2(2)177,
11(4)17,
12(2)11,
13(1)10,
13(3)22,
13(4)35,
13(4)37,
13(4)39,
15(2)6,
17(2)6
- situation,
2(3)230,
10(4)4,
11(3)12,
12(4)20,
17(1)2
- stated,
1(1)26
- 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(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
- target,
2(4)416,
11(4)23,
13(3)20,
13(3)28,
13(4)35,
15(4)17,
16(4)14,
17(4)13,
17(4)16
- than,
2(1)3,
2(1)65,
2(3)332,
9(4)391,
9(4)461,
10(1)4,
11(2)3,
11(2)6,
11(3)14,
12(1)1,
12(2)10,
12(3)16,
12(4)22,
13(1)10,
13(3)21,
13(4)29,
13(4)31,
13(4)35,
14(3)27,
14(4)31,
15(1)5,
15(2)9,
15(4)15,
15(4)16,
16(2)8,
16(4)17,
17(1)2,
17(3)9,
17(3)10,
17(3)12,
17(4)14,
17(4)16,
18(4)13
- transform,
2(3)295,
15(4)17
- transformation,
10(4)2
- type,
10(1)2,
10(1)3,
10(3)11,
10(4)5,
11(2)1,
11(3)14,
12(1)1,
12(3)15,
13(3)21,
13(3)25,
13(4)32,
15(2)7,
16(1)4,
18(1)1,
18(3)9
- untrusted,
2(2)159,
2(3)269,
12(3)14,
12(3)16,
12(3)19,
13(4)35,
13(4)37,
14(1)12,
16(2)5,
16(3)12,
17(4)15,
18(3)10
- useful,
10(3)9,
11(4)20,
12(1)5,
12(1)6,
12(4)20,
13(4)39,
14(1)14,
18(2)5,
18(3)10,
18(3)11
- valid,
2(3)295,
14(4)32
- way,
2(1)3,
2(1)65,
2(3)230,
2(3)269,
2(4)416,
9(4)461,
10(4)3,
10(4)4,
11(1)2,
11(3)13,
12(1)5,
12(2)8,
12(2)11,
12(3)14,
13(1)10,
13(3)22,
13(3)28,
13(4)34,
15(4)15,
16(3)10,
16(3)11,
16(4)17,
17(2)6
- what,
2(2)138,
10(4)1,
12(2)9,
17(1)2,
17(3)11
- 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)20,
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(3)14,
16(1)3,
16(2)8,
17(3)9,
17(4)13,
18(3)9,
18(4)12
- work,
2(2)138,
2(3)269,
2(4)416,
10(3)10,
10(4)6,
11(2)2,
11(2)3,
11(3)15,
11(4)17,
11(4)19,
12(2)10,
12(2)11,
12(2)12,
12(3)16,
12(3)17,
12(3)18,
13(3)25,
13(4)38,
14(1)2,
14(1)14,
15(2)7,
15(3)12,
15(4)15,
15(4)17,
16(1)3,
16(1)4,
16(2)8,
16(3)10,
16(3)11,
16(4)13,
16(4)15,
17(3)12,
18(2)6,
18(4)13
- would,
2(2)159,
10(4)1,
12(2)13,
12(4)22,
13(3)26,
15(2)6,
16(2)8,
17(3)11,
18(3)9