Entry Donovan:1975:HAC from ibmsysj.bib
Last update: Thu Nov 27 02:08:39 MST 2008
Top |
Symbols |
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{Donovan:1975:HAC,
author = "John J. Donovan and S. E. Madnick",
title = "Hierarchical Approach to Computer System Integrity",
journal = j-IBM-SYS-J,
volume = "14",
number = "2",
pages = "188--202",
year = "1975",
CODEN = "IBMSA7",
ISSN = "0018-8670",
bibdate = "Wed Jan 08 16:35:07 1997",
bibsource = "Compendex database",
note = "See letters
\cite{Chandersekaran:1976:FVM,Donovan:1976:FAR}.",
abstract = "Security is an important factor if the programs of
independent and possibly error-prone or malicious users
are to coexist on the same computer system. In this
paper, it is shown that a hierarchically structured
operating system, such as produced by a virtual machine
system, that combines a virtual machine monitor with
several independent operating systems (VMM\slash OS),
provides substantially better software security than a
conventional two-level multiprogramming operating
system approach. This added protection is derived from
redundant security using independent mechanisms that
are inherent in the design of most VMM\slash OS
systems. Such a system can be obtained by exploiting
existing software resources.",
acknowledgement = ack-nhfb,
classification = "723",
journalabr = "IBM Syst J",
keywords = "computer operating systems; computer systems
programming --- Time Sharing Programs",
}
Related entries
- added,
23(1)36,
29(3)435,
32(3)397
- better,
17(2)179,
21(2)179,
23(3)224,
27(4)436,
30(3)322,
31(1)71,
31(1)79,
31(4)798,
32(3)397,
32(4)548,
32(4)612,
34(3)328,
35(3)539
- Chandersekaran:1976:FVM,
15(3)264,
15(3)270
- coexist,
31(2)313,
34(2)249
- combine,
15(2)143,
29(3)451,
29(4)526,
31(4)620,
31(4)788,
32(2)232,
33(1)89,
34(1)63
- conventional,
12(3)315,
17(4)383,
25(2)190,
27(4)436,
28(4)600,
29(3)435,
34(2)222
- derived,
26(1)4,
29(1)141
- Donovan:1975:HAC,
15(3)264,
15(3)270
- Donovan:1976:FAR,
15(3)264,
15(3)270
- error-prone,
34(4)552
- existing,
9(1)24,
12(1)30,
18(1)47,
19(2)208,
19(3)314,
19(4)542,
21(3)327,
21(3)351,
24(1)14,
25(1)51,
25(2)147,
25(2)244,
28(1)4,
28(2)274,
28(2)294,
28(4)600,
29(1)79,
29(3)356,
31(2)353,
31(2)381,
31(4)711,
32(4)595,
32(4)612,
32(4)647,
33(1)20,
33(2)239,
33(3)501,
34(2)144,
34(2)152,
34(3)328,
34(3)390,
34(3)472,
34(4)564,
35(1)94,
35(2)122,
35(2)172,
35(2)192,
35(2)244,
37(1)115,
37(4)484
- exploiting,
17(1)82,
28(1)165
- factor,
12(3)216,
12(3)283,
13(1)2,
15(1)53,
15(3)182,
17(4)324,
20(2)123,
20(2)216,
20(2)237,
20(3)272,
21(1)31,
23(1)19,
23(1)82,
23(2)151,
23(3)224,
25(1)63,
25(3)306,
25(3)354,
26(2)201,
26(4)383,
27(1)60,
27(2)119,
27(2)206,
27(3)281,
27(3)306,
27(3)325,
28(1)4,
28(3)360,
29(3)343,
30(4)416,
31(2)300,
32(1)17,
32(1)162,
32(4)595,
33(1)46,
34(3)328,
40(4)863
- hierarchical,
7(2)123,
8(1)2,
13(4)307,
15(1)81,
15(2)143,
15(3)253,
19(3)382,
23(1)129,
34(1)39,
34(4)694
- hierarchically,
16(2)96,
28(1)39
- important,
14(1)64,
15(3)182,
15(4)328,
16(4)363,
17(3)276,
19(1)102,
19(2)253,
23(4)351,
24(3)248,
24(3)279,
25(1)36,
25(3)354,
25(3)380,
27(3)315,
28(1)4,
30(3)259,
31(1)114,
31(4)798,
32(3)486,
33(1)182,
33(3)382,
34(2)144,
34(3)409,
34(4)552,
34(4)672,
35(1)2,
35(1)94,
35(2)244
- independent,
8(4)309,
12(1)30,
12(1)64,
13(2)115,
15(3)212,
21(2)162,
23(4)326,
23(4)344,
27(4)416,
28(2)241,
30(3)280,
30(3)296,
34(1)39
- inherent,
15(1)39,
16(4)344,
23(3)214,
29(4)526
- integrity,
9(1)12,
13(3)230,
14(3)212,
14(3)229,
15(1)102,
15(3)264,
16(4)344,
28(1)15,
30(1)4,
30(1)52,
30(1)72,
32(3)512,
35(1)2
- letters,
16(1)54,
17(4)383,
18(1)143,
32(3)486
- machine,
8(3)178,
9(3)199,
9(4)242,
10(2)129,
11(2)99,
11(2)131,
12(3)315,
13(1)2,
14(2)102,
14(2)134,
15(1)39,
15(3)264,
15(4)358,
17(1)82,
18(1)18,
18(1)71,
18(1)93,
18(1)111,
20(2)172,
20(3)321,
21(2)211,
23(1)30,
23(1)63,
23(1)81,
23(1)111,
23(3)264,
27(4)416,
28(1)104,
28(1)175,
28(3)407,
28(4)600,
30(1)4,
30(1)14,
30(1)34,
30(3)259,
30(3)296,
30(4)416,
30(4)490,
31(1)26,
31(4)668,
34(2)263,
34(3)328,
39(1)82,
39(1)135,
39(1)194,
39(1)211,
41(3)494,
41(3)504,
41(3)524,
42(1)38,
44(2)399,
45(4)785
- Madnick, S. E.,
15(3)270
- mechanism,
14(3)212,
15(3)182,
17(2)126,
17(2)151,
17(4)383,
18(1)93,
18(2)298,
23(1)111,
23(4)387,
23(4)417,
24(2)79,
24(2)102,
29(2)189,
30(4)446,
31(2)206,
31(2)353,
32(1)99,
32(2)252,
34(1)63,
34(4)604,
34(4)640,
35(1)2,
35(2)122,
35(2)192,
47(2)221
- monitor,
6(2)116,
8(4)290,
9(3)199,
18(1)164,
19(1)81,
19(2)208,
19(3)331,
19(3)382,
20(4)424,
23(3)245,
28(1)165,
28(2)274,
30(1)14,
30(1)52,
31(2)223,
31(2)286,
35(1)2,
35(1)25
- most,
12(1)30,
15(1)24,
15(1)102,
19(1)102,
20(3)272,
23(1)65,
23(3)245,
23(4)404,
24(1)37,
24(3)189,
25(1)36,
25(3)380,
26(1)107,
27(4)528,
28(1)124,
28(3)386,
28(4)600,
29(2)250,
29(2)274,
29(4)526,
30(1)34,
30(3)312,
32(1)143,
32(1)180,
32(4)647,
33(1)20,
33(1)158,
33(2)280,
34(3)409,
34(4)629,
35(1)4,
35(1)69,
35(2)122
- multiprogramming,
8(4)280,
14(4)366,
15(1)81,
28(1)151
- obtained,
19(2)171,
21(4)471,
24(2)121,
28(4)646,
29(1)4,
29(2)265,
29(2)287,
34(2)263
- OS,
8(4)280
- produced,
23(3)245,
24(1)61,
25(1)116,
29(3)435,
31(1)94,
32(2)321,
33(1)46
- prone, error-,
34(4)552
- protection,
9(4)258,
14(1)81,
15(1)102,
19(2)253,
23(3)297,
23(4)309,
32(2)321,
45(1)119,
46(2)255
- redundant,
16(2)96
- resource,
9(3)199,
12(1)94,
12(3)257,
12(3)315,
12(4)382,
13(4)274,
14(3)212,
14(4)385,
15(1)102,
17(1)82,
17(3)290,
18(1)93,
18(1)164,
19(2)192,
19(2)208,
20(4)424,
23(1)36,
23(1)129,
23(4)367,
25(1)20,
27(2)206,
28(1)77,
28(1)104,
30(1)52,
30(1)72,
30(1)90,
30(1)107,
30(3)259,
31(2)189,
31(2)252,
31(2)353,
32(1)17,
32(4)567,
33(2)239,
33(2)300,
33(2)326,
33(3)426,
34(2)144,
34(3)328,
34(4)552,
34(4)604,
34(4)672,
35(1)2,
36(3)393,
39(2)285,
40(4)908,
40(4)985,
46(3)599
- same,
12(3)257,
16(4)378,
18(1)18,
18(1)111,
23(3)255,
23(4)344,
24(1)14,
24(2)168,
25(1)51,
27(4)436,
29(3)356,
30(3)336,
31(2)313,
31(2)336,
31(2)353,
32(1)17,
32(2)252,
32(4)567,
34(1)63,
34(2)185,
34(3)375,
34(3)409
- security,
13(3)230,
14(3)212,
14(3)229,
16(2)136,
17(2)138,
17(2)151,
18(1)93,
19(2)229,
23(1)111,
23(3)297,
23(4)309,
24(1)26,
28(1)15,
30(1)52,
30(2)130,
30(2)175,
30(2)192,
30(2)206,
30(2)230,
30(4)598,
32(2)321,
32(3)461,
32(3)512,
34(3)328,
34(3)390,
34(4)752,
35(1)2,
35(1)94,
35(2)122,
35(2)192,
37(1)42,
37(3)349,
40(1)130,
40(3)696,
42(1)107,
43(4)689,
44(2)341,
44(4)847,
46(2)265
- see,
8(3)189,
9(2)163,
11(2)169,
12(1)109,
12(4)351,
13(2)183,
13(3)186,
13(4)352,
13(4)352-1,
14(2)161,
14(2)208,
15(1)4,
15(1)24,
15(2)174,
15(3)264,
15(3)270,
15(4)285,
16(1)54,
16(4)421,
16(4)422,
17(1)97,
17(2)202,
17(4)383,
18(1)143,
18(3)470,
18(3)473,
18(4)604,
18(4)605,
23(3)281,
24(1)26,
24(1)71,
25(1)130,
28(2)345,
29(2)209,
29(4)583,
30(2)206,
30(4)598,
31(1)79,
31(2)300,
33(1)220,
35(2)122,
47(1)115,
47(2)351,
47(3)415,
47(4)709
- several,
8(4)319,
9(3)199,
15(2)124,
15(2)143,
17(1)26,
18(1)111,
19(2)253,
22(1)97,
23(1)11,
23(1)143,
23(4)326,
23(4)351,
25(1)36,
25(3)306,
26(1)4,
27(3)325,
27(4)561,
28(1)165,
29(1)141,
29(3)371,
29(3)467,
29(4)526,
30(1)90,
30(4)433,
30(4)582,
31(1)4,
31(1)39,
31(2)353,
31(4)728,
32(3)486,
32(4)595,
33(1)62,
33(3)426,
33(3)445,
33(3)477,
34(1)4,
34(1)39,
34(3)472
- sharing,
5(2)115,
8(4)319,
9(4)258,
12(1)94,
13(1)2,
14(2)161,
17(2)151,
17(3)260,
21(4)490,
23(2)151,
28(1)62,
30(1)52,
30(3)363,
31(2)381,
32(3)420,
32(3)512,
36(2)327,
36(2)361,
37(2)189,
38(4)531,
39(3)456
- shown,
8(3)189,
8(4)309,
9(3)219,
10(3)168,
14(1)16,
14(3)272,
15(3)182,
17(3)241,
19(3)314,
21(1)54,
23(1)36,
24(3)248,
24(3)316,
27(4)541,
28(4)569,
31(1)94,
31(2)353,
33(1)182,
34(2)144,
34(3)330
- structured,
12(1)30,
13(2)115,
14(4)385,
15(2)143,
15(2)155,
15(3)212,
19(4)542,
20(4)388,
21(3)327,
26(4)395,
27(3)362,
28(1)124,
28(4)661,
29(2)265,
31(2)206,
31(2)252,
32(1)65,
32(2)232,
32(2)278,
33(1)110,
33(2)239,
33(2)264,
34(3)347,
35(2)124,
35(2)172,
38(2)231
- substantially,
8(4)280,
21(2)162,
25(1)51
- than,
12(4)401,
17(3)260,
23(1)36,
24(2)102,
24(3)248,
27(3)306,
27(4)436,
27(4)561,
29(1)4,
29(3)343,
30(1)72,
30(3)322,
30(3)336,
31(1)26,
31(1)94,
31(2)336,
32(1)99,
32(1)162,
32(1)198,
32(3)486,
32(4)548,
32(4)612,
33(1)158,
34(2)222,
34(3)328,
34(4)659,
35(1)37,
44(2)239