Entry Schneider:2011:NAL 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{Schneider:2011:NAL,
author = "Fred B. Schneider and Kevin Walsh and Emin G{\"u}n
Sirer",
title = "{Nexus Authorization Logic (NAL)}: Design rationale
and applications",
journal = j-TISSEC,
volume = "14",
number = "1",
pages = "8:1--8:??",
month = may,
year = "2011",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1952982.1952990",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Jun 2 07:27:23 MDT 2011",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "Nexus Authorization Logic (NAL) provides a principled
basis for specifying and reasoning about credentials
and authorization policies. It extends prior access
control logics that are based on ``says'' and ``speaks
for'' operators. NAL enables authorization of access
requests to depend on (i) the source or pedigree of the
requester, (ii) the outcome of any mechanized analysis
of the requester, or (iii) the use of trusted software
to encapsulate or modify the requester. To illustrate
the convenience and expressive power of this approach
to authorization, a suite of document-viewer
applications was implemented to run on the Nexus
operating system.",
acknowledgement = ack-nhfb,
articleno = "8",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- 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)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
- 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)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
- 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)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,
16(4)17,
17(2)5,
17(4)13,
18(3)10,
18(4)12
- 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(3)23,
14(4)29,
15(1)4,
15(3)12,
15(3)13,
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
- 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(3)23,
15(3)13,
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)9,
14(1)10,
14(4)30,
15(2)6,
15(2)7,
15(3)13,
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
- basis,
2(1)34,
2(3)295,
10(4)2,
11(4)20,
11(4)22,
12(1)2,
13(3)27,
16(4)14
- convenience,
2(1)105,
11(2)2
- credential,
6(1)1,
10(3)12,
11(1)2,
12(1)6,
12(2)8,
12(3)15,
13(1)2,
13(4)39,
14(1)10,
14(4)29,
15(1)4,
17(3)10
- depend,
1(1)26,
15(4)15,
15(4)16
- 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(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
- enable,
2(2)177,
2(3)230,
2(4)354,
9(4)461,
10(2)5,
11(1)3,
11(4)17,
11(4)23,
12(1)1,
12(1)6,
12(3)14,
13(3)25,
13(4)31,
14(1)3,
14(4)32,
15(2)7,
16(1)2,
16(2)7,
17(2)5,
17(2)8,
17(3)10,
17(4)16,
18(1)2
- expressive,
1(1)93,
11(4)21,
12(1)1,
13(3)20,
13(3)28,
14(1)9,
15(3)13,
16(4)17,
17(1)2
- extend,
2(4)354,
2(4)390,
9(4)461,
10(1)2,
11(4)20,
12(1)5,
13(3)24,
14(3)26,
15(1)4,
16(1)4,
16(2)5,
16(3)9,
16(3)10,
17(2)5,
17(2)7,
17(4)15
- illustrate,
1(1)26,
9(2)162,
11(4)19,
13(3)25,
15(2)10,
17(1)1,
18(1)2
- implemented,
2(3)269,
10(1)4,
11(2)5,
12(1)1,
13(3)26,
14(3)27,
15(4)16,
15(4)18,
17(2)5,
17(3)10,
17(3)11,
17(4)13,
18(2)6
- 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)9,
16(4)17,
17(1)2,
17(2)5,
18(2)7
- modify,
2(2)159,
16(1)1,
17(4)13
- operating,
2(2)138,
2(2)177,
2(3)295,
2(4)354,
4(1)72,
5(1)36,
11(4)20,
12(3)14,
13(1)10,
13(4)30,
14(1)6,
14(3)24,
15(4)16,
17(4)14,
18(2)5,
18(3)11
- operators,
14(1)9,
14(4)32,
18(2)5
- outcome,
11(2)6,
18(1)1
- power,
1(1)93,
9(2)162,
10(4)1,
12(2)10,
14(1)7,
14(1)13,
15(1)2,
18(2)5,
18(2)7
- prior,
2(2)159,
10(3)12,
11(2)3,
12(1)2,
12(1)3,
15(2)10,
15(4)18
- 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(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
- reasoning,
2(3)332,
6(1)71,
7(4)591,
11(3)12,
12(1)4,
12(1)5,
13(3)20,
14(2)16
- request,
1(1)66,
10(1)3,
11(2)3,
13(3)20,
14(1)2,
14(1)9,
16(4)13,
16(4)14,
16(4)17,
17(1)2
- requester,
12(1)1
- run,
2(2)177,
12(2)10,
12(2)11,
12(3)14,
12(3)19,
13(1)10,
14(4)31,
18(1)1
- Schneider, Fred B.,
3(1)30,
8(3)259
- software,
1(1)3,
2(1)3,
2(1)34,
2(1)105,
2(2)138,
2(2)177,
2(3)295,
2(4)354,
3(1)51,
11(1)2,
12(2)11,
12(2)12,
12(3)14,
12(3)19,
14(3)24,
14(4)32,
15(2)8,
17(1)1,
17(3)11
- source,
1(1)66,
5(3)238,
12(2)11,
12(2)13,
13(1)8,
13(3)21,
14(3)23,
14(3)25,
15(2)6,
15(3)13,
18(4)12
- specifying,
2(3)332,
9(4)421,
10(1)2,
10(1)3,
13(3)20,
15(3)13,
16(2)5
- suite,
4(2)134,
9(4)421
- trusted,
2(2)138,
2(3)269,
8(2)153,
10(4)3,
11(2)6,
11(3)14,
12(1)3,
13(4)39,
14(3)27,
14(4)29,
15(2)9,
16(2)5,
16(2)7,
16(4)15,
17(2)6,
18(2)8
- 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)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,
16(4)17,
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
- was,
2(1)105,
11(1)2,
12(3)16,
13(1)10,
16(3)10,
16(3)11,
16(4)16,
17(1)1,
18(1)3,
18(4)13