Entry Alexander:2015:MCD 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{Alexander:2015:MCD,
author = "Perry Alexander and Lee Pike and Peter Loscocco and
George Coker",
title = "Model Checking Distributed Mandatory Access Control
Policies",
journal = j-TISSEC,
volume = "18",
number = "2",
pages = "6:1--6:??",
month = dec,
year = "2015",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2785966",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Mon Dec 21 18:18:49 MST 2015",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "This work examines the use of model checking
techniques to verify system-level security properties
of a collection of interacting virtual machines.
Specifically, we examine how local access control
policies implemented in individual virtual machines and
a hypervisor can be shown to satisfy global access
control constraints. The SAL model checker is used to
model and verify a collection of stateful domains with
protected resources and local MAC policies attempting
to access needed resources from other domains. The
model is described along with verification conditions.
The need to control state-space explosion is motivated
and techniques for writing theorems and limiting
domains explored. Finally, analysis results are
examined along with analysis complexity.",
acknowledgement = ack-nhfb,
articleno = "6",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- along,
9(4)461,
11(1)3,
12(2)10,
17(2)5,
18(1)1
- 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,
16(4)17,
17(1)1,
17(1)4,
17(2)7,
17(3)9,
17(4)14,
18(1)1,
18(1)4
- attempting,
12(2)11,
12(3)19
- checker,
15(4)18
- checking,
1(1)3,
10(2)5,
10(2)7,
10(4)5,
12(4)20,
14(1)12,
15(4)18
- collection,
11(4)18,
12(2)9
- complexity,
2(1)65,
9(4)391,
9(4)421,
10(2)5,
10(4)5,
11(2)6,
12(3)16,
12(3)18,
12(4)20,
13(4)36,
13(4)40,
14(1)3,
14(1)14,
15(4)16,
16(1)3,
16(1)4,
16(3)10,
17(4)16,
18(3)10,
18(4)13
- condition,
1(1)26,
2(3)295,
10(4)1,
11(1)3,
11(2)2,
11(4)21,
12(2)11,
13(3)26,
16(1)3,
17(1)2,
18(1)2,
18(2)5
- 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,
16(4)17,
17(1)3,
17(2)8
- described,
1(1)3,
2(1)34,
2(1)105,
9(2)181,
12(1)1,
13(4)33
- 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,
15(3)13,
16(4)14,
16(4)15,
17(4)13,
18(1)2
- domain,
2(3)295,
14(1)9,
14(4)31,
16(4)14,
16(4)15,
16(4)17,
17(2)5,
17(2)7,
18(2)8
- examine,
10(4)6,
11(2)3,
13(4)35,
14(4)31,
18(4)12,
18(4)13
- examined,
13(1)10
- explored,
11(3)16,
15(2)7
- finally,
2(1)3,
10(4)1,
10(4)4,
11(2)3,
11(4)17,
11(4)18,
12(3)18,
12(3)19,
12(4)20,
14(3)27,
16(1)4,
18(4)12
- global,
11(3)15,
12(1)4,
12(2)8,
18(4)12
- how,
2(1)3,
2(2)138,
2(3)269,
7(2)319,
10(2)5,
10(2)8,
10(4)1,
10(4)2,
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(3)9,
18(4)14
- implemented,
2(3)269,
10(1)4,
11(2)5,
12(1)1,
13(3)26,
14(1)8,
14(3)27,
15(4)16,
15(4)18,
17(2)5,
17(3)10,
17(3)11,
17(4)13
- individual,
2(3)295,
10(1)4,
10(4)6,
11(1)3,
11(4)18,
14(3)26,
17(1)1,
17(2)8
- interacting,
14(1)13,
18(3)9
- local,
2(1)34,
2(3)269,
11(2)2,
12(1)4,
12(3)17,
14(3)25,
14(4)31,
18(2)8,
18(4)12
- MAC,
11(4)19,
13(3)26,
14(3)24
- machine,
2(2)159,
2(2)177,
2(3)230,
2(3)295,
12(2)12,
14(1)6,
14(1)10,
14(2)18,
14(2)21,
15(2)9,
15(3)12,
16(2)7,
16(3)9,
16(4)13,
16(4)14,
17(2)8,
18(3)11
- mandatory,
3(2)85,
13(3)26,
14(3)24
- motivated,
18(1)2
- need,
2(2)177,
2(3)230,
2(4)390,
9(4)421,
10(4)2,
10(4)3,
12(3)17,
13(3)22,
15(4)17,
15(4)18,
16(2)6,
17(3)10,
18(2)7
- needed,
2(3)332,
10(4)3,
14(1)5,
15(2)10,
15(4)15,
17(4)13
- other,
1(1)93,
2(4)354,
9(4)461,
10(3)9,
10(3)10,
10(3)11,
10(3)12,
10(4)1,
10(4)5,
11(2)2,
11(2)6,
11(3)15,
11(4)18,
11(4)23,
12(1)3,
12(2)8,
12(2)10,
12(3)14,
12(3)17,
12(4)22,
13(3)24,
13(3)25,
13(4)40,
14(3)23,
14(3)27,
14(4)30,
15(1)5,
15(2)6,
15(3)11,
15(3)14,
15(4)15,
16(4)15,
17(2)8,
17(3)9,
18(1)1,
18(1)3,
18(4)12
- 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(2)10,
15(3)14,
15(4)18,
16(1)3,
16(2)5,
17(1)3,
17(1)4,
18(1)3,
18(2)8,
18(4)12
- protected,
10(4)4,
13(4)37
- resource,
2(3)332,
9(4)391,
10(4)4,
11(1)2,
11(1)3,
11(1)4,
11(2)2,
11(3)14,
11(4)19,
11(4)20,
12(1)1,
12(1)6,
12(4)22,
13(3)20,
14(1)7,
14(1)10,
15(4)18,
17(1)2,
17(3)9
- 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,
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(3)9,
18(3)11,
18(4)12,
18(4)13
- satisfy,
1(1)93,
10(2)5,
11(1)2,
12(3)18,
12(4)20,
13(3)26,
15(3)13,
16(1)4
- 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(2)10,
15(3)14,
18(2)5
- 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,
16(4)17,
17(4)13,
18(2)5,
18(3)9
- stateful,
9(4)461,
14(1)10
- technique,
1(1)3,
2(2)138,
2(3)230,
2(3)295,
2(4)416,
7(2)274,
9(4)391,
9(4)461,
10(2)6,
10(3)9,
10(4)6,
11(2)2,
11(3)12,
11(3)16,
11(4)17,
11(4)18,
11(4)22,
12(1)4,
12(2)11,
12(2)13,
12(3)16,
12(3)18,
13(3)22,
13(3)25,
13(3)28,
13(4)32,
13(4)33,
13(4)35,
13(4)36,
13(4)39,
14(1)3,
14(1)5,
14(1)6,
14(1)13,
14(3)24,
14(4)32,
15(1)2,
15(1)5,
15(2)7,
15(2)8,
15(3)12,
15(4)17,
15(4)18,
16(1)2,
16(2)6,
16(2)7,
16(3)11,
16(4)13,
16(4)14,
17(3)9,
17(3)12,
17(4)16,
18(1)2,
18(3)11
- theorem,
2(3)332
- 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,
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(3)9,
18(4)14
- 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,
10(4)2,
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(3)9,
18(4)13,
18(4)14
- verification,
2(3)332,
3(1)51,
8(3)287,
10(2)5,
10(2)6,
10(2)7,
10(3)9,
10(3)11,
11(2)5,
11(3)14,
12(1)3,
12(1)6,
14(1)5,
14(3)25,
14(4)32,
15(1)3,
15(2)9,
15(4)18,
16(2)8,
17(2)6,
18(2)8,
18(3)11,
18(4)14
- verify,
2(3)332,
9(4)421,
11(2)5,
11(3)14,
14(1)12,
15(1)3,
16(3)11,
17(2)6,
18(3)11
- virtual,
4(2)103,
11(1)3,
11(1)4,
13(4)38,
14(3)27,
14(4)30,
16(2)7,
16(3)9,
17(2)8,
17(4)13
- 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(2)10,
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(4)13
- writing,
15(3)12