Entry Arkoudas:2014:SAC 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{Arkoudas:2014:SAC,
author = "Konstantine Arkoudas and Ritu Chadha and Jason
Chiang",
title = "Sophisticated Access Control via {SMT} and Logical
Frameworks",
journal = j-TISSEC,
volume = "16",
number = "4",
pages = "17:1--17:??",
month = apr,
year = "2014",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2595222",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Mon May 5 18:00:10 MDT 2014",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We introduce a new methodology for formulating,
analyzing, and applying access-control policies.
Policies are expressed as formal theories in the SMT
(satisfiability-modulo-theories) subset of typed
first-order logic, and represented in a programmable
logical framework, with each theory extending a core
ontology of access control. We reduce both request
evaluation and policy analysis to SMT solving, and
provide experimental results demonstrating the
practicality of these reductions. We also introduce a
class of canonical requests and prove that such
requests can be evaluated in linear time. In many
application domains, access requests are either
naturally canonical or can easily be put into canonical
form. The resulting policy framework is more expressive
than XACML and languages in the Datalog family, without
compromising efficiency. Using the computational logic
facilities of the framework, a wide range of
sophisticated policy analyses (including consistency,
coverage, observational equivalence, and change impact)
receive succinct formulations whose correctness can be
straightforwardly verified. The use of SMT solving
allows us to efficiently analyze policies with
complicated numeric (integer and real) constraints, a
weak point of previous policy analysis systems.
Further, by leveraging the programmability of the
underlying logical framework, our system provides
exceptionally flexible ways of resolving conflicts and
composing policies. Specifically, we show that our
system subsumes FIA (Fine-grained Integration Algebra),
an algebra recently developed for the purpose of
integrating complex policies.",
acknowledgement = ack-nhfb,
articleno = "17",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- access-control,
9(4)421,
10(1)2,
10(1)3,
10(2)5,
10(2)7,
10(4)2,
10(4)4,
14(1)2,
14(1)9,
15(4)15,
15(4)18
- algebra,
5(1)1,
6(2)286,
12(1)1,
15(3)13
- 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,
15(2)10,
16(1)3,
16(2)5,
16(3)9,
16(4)13,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)16,
18(3)10
- analyse,
12(2)13,
13(3)26,
17(2)7,
17(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)2,
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,
17(1)1,
17(1)4,
17(2)7,
17(3)9,
17(4)14,
18(1)1,
18(1)4,
18(2)6
- analyze,
2(3)230,
2(4)416,
9(4)421,
10(1)4,
10(3)9,
10(4)5,
11(2)1,
11(2)3,
11(3)14,
11(3)15,
11(4)23,
12(3)16,
12(3)17,
13(3)27,
15(1)5,
15(2)8,
15(3)11,
16(3)10,
16(4)16,
18(1)1,
18(1)2,
18(1)3,
18(2)5
- analyzing,
5(4)458,
7(2)274,
11(4)17,
12(2)13,
12(3)19,
14(1)13,
18(4)12
- application,
1(1)66,
2(2)159,
2(2)177,
2(4)354,
4(2)103,
7(1)1,
7(1)97,
8(3)287,
9(1)1,
9(1)94,
10(1)2,
10(2)6,
10(4)3,
11(1)2,
11(1)3,
11(3)14,
11(3)16,
11(4)22,
12(1)2,
12(1)3,
12(2)11,
12(3)14,
12(4)21,
13(1)4,
13(1)10,
13(2)17,
13(3)22,
13(3)26,
13(4)38,
13(4)39,
14(1)2,
14(1)3,
14(1)6,
14(1)8,
14(1)9,
14(2)19,
14(3)27,
15(1)2,
15(1)4,
16(1)1,
16(1)2,
16(2)6,
16(3)9,
16(4)13,
17(2)5,
17(4)13,
18(3)10,
18(4)12
- applying,
16(4)14
- 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,
15(3)13,
16(1)4,
16(2)5,
16(3)10,
17(3)9,
18(1)1,
18(4)13,
18(4)14
- change,
2(3)332,
12(3)14,
13(4)30,
13(4)34,
14(1)2,
15(3)13,
15(4)16,
15(4)17,
17(4)15,
18(3)9
- 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,
12(4)20,
13(3)21,
14(1)13,
16(1)2,
18(2)5,
18(4)13
- complex,
10(1)4,
12(3)14,
13(3)20,
13(3)24,
14(1)13,
16(3)10
- complicated,
2(3)332,
12(2)8
- composing,
5(1)1,
12(1)1
- compromising,
2(3)269,
10(2)6,
11(3)13,
13(1)8,
15(2)9,
15(3)11,
17(2)7
- computational,
10(2)5,
11(2)6,
12(1)3,
12(4)21,
13(3)28,
13(4)40,
15(1)3,
15(2)9,
16(3)12,
17(3)10,
17(3)12,
17(4)15,
18(2)7,
18(4)12
- conflict,
2(1)3,
13(4)40,
14(1)9,
15(4)15,
17(1)2
- 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,
12(4)20,
13(3)25
- 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(3)13,
15(4)15,
16(1)3,
16(1)4,
17(1)3,
17(2)8,
18(2)6
- control, access-,
9(4)421,
10(1)2,
10(1)3,
10(2)5,
10(2)7,
10(4)2,
10(4)4,
14(1)2,
14(1)9,
15(4)15,
15(4)18
- core,
10(3)9,
10(4)3,
12(2)8,
14(1)7,
15(1)4,
15(2)6,
18(4)12
- correctness,
9(4)421,
10(2)7,
11(4)18,
13(3)28,
16(3)12
- coverage,
10(4)6,
12(1)4,
16(2)7
- Datalog,
17(1)2
- demonstrating,
11(3)14
- 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,
15(3)13,
17(1)3,
18(1)1,
18(2)8
- domain,
2(3)295,
14(1)9,
14(4)31,
16(4)14,
16(4)15,
17(2)5,
17(2)7,
18(2)6,
18(2)8
- 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,
12(4)20,
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,
17(2)8,
17(3)10,
17(3)12,
17(4)13,
18(1)4
- easily,
12(1)6,
14(1)7,
14(1)11,
17(2)6,
17(3)11,
17(3)12,
18(4)13
- efficiency,
9(4)461,
10(2)6,
10(3)12,
11(2)1,
11(4)17,
11(4)18,
11(4)23,
12(1)3,
13(4)30,
13(4)31,
13(4)33,
15(1)4,
15(2)9,
18(2)5
- efficiently,
2(3)269,
10(4)2,
11(3)15,
12(4)20,
13(4)32,
17(1)4,
17(4)15,
18(1)4
- either,
2(4)390,
10(1)2,
11(1)2,
11(2)3,
11(4)18,
11(4)23,
12(1)2,
13(4)33,
14(1)9,
15(3)14,
15(4)17,
16(4)15,
16(4)16,
17(1)2,
18(2)5
- equivalence,
10(3)9
- evaluated,
10(4)3,
11(4)17,
13(3)26,
15(4)17,
16(4)16
- 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,
12(4)20,
13(2)14,
13(3)24,
13(3)25,
16(1)1,
16(1)2,
16(3)9,
16(4)13,
17(4)14,
18(1)1
- experimental,
1(1)3,
1(1)26,
10(1)3,
10(1)4,
11(1)3,
11(4)22,
11(4)23,
12(1)4,
12(3)16,
13(3)22,
15(3)12,
15(4)16,
16(2)7,
16(3)10,
18(3)11,
18(4)12
- expressed,
2(1)65,
10(2)7,
10(2)8,
17(3)11
- expressive,
1(1)93,
11(4)21,
12(1)1,
13(3)20,
13(3)28,
14(1)8,
14(1)9,
15(3)13,
17(1)2
- extending,
17(1)3
- facility,
12(2)13
- family,
9(4)391,
9(4)461,
12(1)1,
13(3)24
- fine-grained,
11(1)3,
12(2)12,
15(2)9,
16(2)6,
18(3)11
- first-order,
11(4)21
- flexible,
2(2)177,
2(3)269,
4(2)158,
6(4)501,
10(1)2,
10(4)4,
11(1)3,
13(3)24,
17(3)10,
18(1)3
- form,
10(4)4,
11(4)17,
12(2)8,
17(1)3,
17(1)4
- formal,
2(1)65,
2(1)105,
8(4)351,
10(2)8,
10(3)10,
10(4)2,
12(1)3,
12(3)19,
13(3)27,
14(1)9,
14(2)16,
17(1)3,
18(1)4
- formulation,
11(4)19,
18(2)5
- 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(2)10,
15(3)12,
15(3)14,
15(4)17,
16(1)2,
16(3)9,
16(4)15,
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
- further,
2(1)105,
2(3)230,
2(4)354,
10(2)8,
10(3)12,
11(1)2,
11(3)15,
11(4)21,
12(2)11,
13(3)25,
13(3)27,
13(4)29,
13(4)30,
14(3)27,
15(2)7,
16(4)16
- impact,
10(4)6,
11(4)17,
12(3)14,
13(3)22,
13(4)35,
13(4)36,
15(1)4,
16(2)8,
17(3)11,
18(2)5
- including,
2(2)177,
2(3)295,
10(2)6,
10(3)11,
10(4)1,
11(2)2,
11(3)14,
11(4)20,
11(4)22,
12(2)12,
12(3)14,
12(3)19,
13(4)32,
14(1)13,
15(2)6,
15(3)12,
16(2)5,
16(2)7,
18(1)1,
18(1)4
- integer,
12(1)6,
17(3)11
- integration,
10(1)3,
11(1)4,
13(4)37,
15(3)13
- 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,
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,
17(2)7,
17(3)9
- language,
2(1)65,
9(4)391,
9(4)421,
10(1)3,
10(2)8,
11(1)2,
11(1)4,
11(4)21,
12(1)1,
12(2)12,
13(3)20,
13(3)24,
13(3)26,
13(3)28,
14(1)9,
15(1)2,
15(2)8,
16(1)3,
16(3)9,
17(1)2,
17(1)3
- leveraging,
11(1)3,
16(3)9
- linear,
11(2)1,
11(3)13,
11(4)21,
12(3)16,
12(3)18,
12(4)20,
14(4)29,
15(1)4,
17(3)11,
18(2)5,
18(2)7
- logic,
2(1)3,
2(1)65,
2(3)332,
6(1)128,
6(4)501,
11(4)21,
12(1)1,
13(3)20,
14(1)8,
14(1)9,
17(1)2,
17(2)5,
18(2)7
- logical,
6(1)71,
10(1)2,
10(1)4,
11(4)18,
13(3)26,
15(2)7
- many,
1(1)93,
2(1)65,
2(2)159,
2(3)332,
10(1)4,
10(4)1,
11(3)13,
11(4)22,
11(4)23,
12(1)2,
12(3)17,
12(3)18,
13(3)20,
13(3)22,
13(4)38,
13(4)39,
15(1)4,
15(2)6,
15(2)7,
16(2)5,
16(3)9,
17(1)4,
17(3)12,
18(1)1,
18(4)13
- methodology,
5(4)458,
10(2)7,
15(3)12,
16(1)2,
17(1)1,
17(4)16
- more,
2(1)3,
2(1)65,
2(3)332,
9(2)181,
9(4)391,
9(4)421,
9(4)461,
10(1)4,
10(3)9,
10(4)1,
10(4)4,
10(4)6,
11(2)3,
11(2)4,
11(2)6,
11(3)14,
11(4)21,
12(1)1,
12(2)8,
12(2)10,
12(2)12,
12(2)13,
12(3)18,
13(1)10,
13(3)20,
13(3)21,
13(3)22,
13(3)28,
13(4)32,
13(4)34,
13(4)39,
14(3)27,
14(4)31,
15(1)2,
15(1)5,
15(2)8,
15(2)9,
15(3)11,
15(3)12,
15(4)16,
16(1)2,
16(2)8,
16(3)10,
16(3)11,
17(1)2,
17(1)3,
17(3)9,
17(4)14,
17(4)16,
18(1)1,
18(3)11,
18(4)13
- naturally,
12(1)1,
18(3)11
- 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(2)10,
15(3)12,
15(4)15,
16(2)5,
16(2)7,
16(3)12,
16(4)16,
17(1)4,
17(2)7,
17(3)10,
17(4)15,
18(1)1,
18(1)2,
18(3)10,
18(3)11
- observational,
10(3)9
- order, first-,
11(4)21
- point,
9(4)421,
11(1)3,
11(2)2,
11(4)20,
12(1)6,
14(1)3,
14(4)30
- 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,
15(2)10,
16(2)5,
16(4)13,
16(4)15,
17(3)12
- prove,
10(2)8,
10(4)1,
11(2)6,
11(3)16,
11(4)18,
12(2)8,
12(3)16,
12(3)19,
13(3)28,
15(2)9,
16(1)4,
16(2)5,
17(2)5,
17(4)15,
18(2)8
- 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(2)10,
15(4)17,
15(4)18,
16(1)3,
16(2)5,
16(3)9,
16(3)11,
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
- purpose,
10(3)9,
10(4)4,
11(4)20,
12(2)11,
13(3)22,
13(3)24,
14(1)14,
16(3)10,
17(1)3,
17(3)12,
18(1)1
- put,
10(4)4,
11(4)19,
13(4)37,
16(3)9,
18(1)1,
18(3)10
- range,
2(1)65,
11(2)5,
12(3)14,
16(4)14,
17(3)10
- real,
10(1)2,
10(4)1,
10(4)4,
11(2)3,
11(3)16,
11(4)17,
12(2)10,
12(2)11,
12(2)13,
13(4)30,
14(4)30,
16(3)10,
16(4)14,
17(4)16,
18(1)3,
18(3)9,
18(4)12
- recently,
2(4)416,
9(2)181,
13(3)26,
13(3)28,
13(4)37,
14(3)27,
15(1)2,
15(2)7,
16(3)10,
16(4)14,
17(4)14,
17(4)16,
18(1)1
- 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,
13(4)40,
14(1)12,
15(3)12,
16(1)4,
16(3)10,
18(4)12,
18(4)13
- represented,
11(2)1,
12(1)1,
12(3)18
- request,
1(1)66,
10(1)3,
11(2)3,
13(3)20,
14(1)2,
14(1)8,
14(1)9,
16(4)13,
16(4)14,
17(1)2
- resolving,
14(1)2
- 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)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,
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(3)13,
15(4)15,
16(3)10,
17(2)7
- solving,
12(2)10,
12(3)16,
13(3)22,
14(4)32,
18(1)3
- sophisticated,
2(4)416,
17(3)12,
18(4)14
- specifically,
9(2)181,
10(3)12,
11(1)4,
11(3)16,
12(1)6,
12(2)12,
12(3)16,
15(2)6,
15(2)8,
15(4)16,
17(4)13,
18(2)5,
18(2)6,
18(3)9
- subset,
12(1)6,
15(4)15,
16(1)4,
17(3)9,
17(4)13
- subsumes,
10(4)1
- 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(2)10,
15(4)15,
15(4)16,
16(2)8,
17(1)2,
17(3)9,
17(3)10,
17(3)12,
17(4)14,
17(4)16,
18(4)13
- theory,
2(1)3,
2(1)105,
2(3)332,
13(4)40,
14(4)31,
16(1)4,
16(4)16,
17(3)10
- 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)20,
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,
17(3)9,
17(3)10,
17(3)11,
17(4)13,
18(1)2,
18(1)4,
18(3)10
- underlying,
12(2)11,
12(3)14,
13(3)22,
13(3)25,
13(4)35,
14(1)4,
14(1)6
- use,
2(1)3,
2(1)105,
2(2)138,
2(2)177,
2(3)230,
2(3)269,
2(3)332,
2(4)354,
2(4)390,
4(2)103,
7(1)21,
9(4)391,
9(4)421,
9(4)461,
10(1)4,
10(2)5,
10(3)11,
10(4)1,
10(4)3,
10(4)5,
10(4)6,
11(1)2,
11(1)3,
11(1)4,
11(2)1,
11(2)4,
11(3)13,
11(3)14,
11(4)18,
11(4)19,
11(4)21,
11(4)22,
12(2)10,
12(3)16,
12(3)18,
13(3)22,
13(3)24,
13(3)25,
13(4)29,
13(4)31,
13(4)36,
14(1)6,
14(1)8,
14(1)10,
14(1)11,
14(4)31,
14(4)32,
15(1)3,
15(1)4,
15(1)5,
15(2)7,
15(3)12,
15(4)15,
15(4)16,
15(4)17,
16(2)8,
16(4)15,
17(2)5,
17(2)6,
17(2)7,
17(2)8,
17(4)15,
17(4)16,
18(1)1,
18(2)6,
18(3)9,
18(4)14
- using,
2(2)138,
2(2)177,
2(3)332,
4(3)289,
6(2)258,
6(3)327,
9(2)113,
9(2)162,
9(2)181,
9(3)292,
9(3)325,
9(4)461,
10(1)4,
10(2)8,
10(3)11,
10(4)3,
10(4)6,
11(1)2,
11(2)1,
11(2)2,
11(2)3,
11(3)14,
11(4)19,
11(4)21,
12(2)10,
12(2)11,
13(1)2,
13(1)8,
13(3)20,
13(3)26,
13(4)31,
13(4)35,
13(4)39,
14(1)3,
14(1)12,
14(1)14,
14(3)27,
15(1)2,
15(3)11,
15(3)12,
15(4)15,
15(4)17,
16(1)1,
16(1)2,
16(1)4,
16(2)5,
16(2)6,
16(3)10,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)13,
17(4)14,
17(4)16,
18(2)7,
18(2)8,
18(3)10,
18(3)11,
18(4)14
- verified,
2(3)332,
9(2)138,
13(3)26,
15(1)3,
15(3)11,
18(2)7
- via,
2(3)295,
2(4)390,
9(4)461,
11(3)13,
12(3)14,
12(3)18,
14(1)9,
16(2)7,
17(2)5
- 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(2)10,
15(4)15,
16(3)10,
16(3)11,
17(2)6
- weak,
1(1)3,
2(3)230,
2(4)390,
10(4)5,
15(4)16,
17(2)7,
18(1)1
- whose,
11(4)17,
15(1)2,
18(2)5
- wide,
11(4)19,
12(3)14,
13(3)21,
14(1)10,
15(1)2,
15(4)15,
16(2)5,
16(2)7,
16(4)14,
17(4)16
- XACML,
11(1)4,
13(3)24