Entry Reiter:1994:HSR from toplas.bib
Last update: Tue May 1 02:05:46 MDT 2012
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{Reiter:1994:HSR,
author = "Michael K. Reiter and Kenneth P. Birman",
title = "How to Securely Replicate Services",
journal = j-TOPLAS,
volume = "16",
number = "3",
pages = "986--1009",
month = may,
year = "1994",
CODEN = "ATPSDT",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Fri Jan 5 07:58:42 MST 1996",
bibsource = "Compiler/TOPLAS.bib;
http://www.math.utah.edu/pub/tex/bib/toplas.bib",
URL = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/177745.html",
abstract = "We present a method for constructing replicated
services that retain their availability and integrity
despite several servers and clients being corrupted by
an intruder, in addition to others failing benignly. We
also address the issue of maintaining a causal order
among client requests. We illustrate a security breach
resulting from an intruder's ability to effect a
violation of causality in the sequence of requests
processed by the service and propose an approach to
counter this attack. An important and novel feature of
our techniques is that the client need not be able to
identify or authenticate even a single server. Instead,
the client is required to possess only a single public
key for the service. We demonstrate the performance of
our techniques with a service we have implemented using
one of our protocols.",
acknowledgement = ack-nhfb # " and " # ack-pb,
fjournal = "ACM Transactions on Programming Languages and
Systems",
keywords = "reliability; security",
subject = "{\bf D.4.5}: Software, OPERATING SYSTEMS, Reliability,
Fault-tolerance. {\bf C.2.0}: Computer Systems
Organization, COMPUTER-COMMUNICATION NETWORKS, General,
Security and protection. {\bf C.2.4}: Computer Systems
Organization, COMPUTER-COMMUNICATION NETWORKS,
Distributed Systems. {\bf D.4.5}: Software, OPERATING
SYSTEMS, Reliability, Fault-tolerance. {\bf D.4.6}:
Software, OPERATING SYSTEMS, Security and Protection,
Authentication. {\bf D.4.6}: Software, OPERATING
SYSTEMS, Security and Protection, Cryptographic
controls. {\bf K.6.5}: Computing Milieux, MANAGEMENT OF
COMPUTING AND INFORMATION SYSTEMS, Security and
Protection, Authentication.",
}
Related entries
- ability,
4(1)1,
8(4)577,
14(4)521,
16(3)328,
16(5)1399,
16(5)1648,
18(4)424,
21(6)1251,
31(3)9,
31(4)16
- able,
10(2)248,
15(1)133,
16(4)1248,
16(6)1699,
20(1)1,
21(3)569,
22(2)265,
22(6)973,
30(4)20,
31(3)12,
31(5)17,
32(6)23,
33(1)3,
34(1)2
- addition,
4(4)563,
4(4)615,
9(2)235,
9(3)367,
16(3)798,
17(4)635,
18(3)235,
20(5)980,
20(5)1014,
21(1)138,
21(3)527,
21(3)569,
21(3)627,
21(4)790,
21(5)977,
22(2)187,
28(3)517,
28(5)908,
29(1)2,
29(1)3,
30(1)4,
30(4)20,
33(3)11
- address,
8(4)419,
14(2)201,
15(4)575,
16(2)205,
16(3)456,
16(3)798,
16(5)1431,
17(2)233,
17(2)394,
17(3)448,
17(4)561,
17(5)704,
18(1)30,
18(3)235,
18(3)254,
18(6)659,
19(3)492,
19(5)804,
20(5)980,
22(4)673,
22(5)773,
28(5)848,
30(4)22,
31(3)11,
31(6)20,
32(2)5,
32(4)11,
32(4)12,
32(5)17,
33(5)15
- attack,
21(6)1196,
29(6)35
- Authentication.,
15(4)706
- availability,
17(2)394,
18(3)268,
18(4)355,
31(5)17,
34(1)5
- being,
4(4)650,
5(3)405,
7(1)62,
7(4)501,
8(4)491,
9(2)277,
14(1)54,
15(4)632,
16(3)387,
16(3)843,
16(3)1051,
16(5)1648,
17(1)63,
17(4)561,
19(3)525,
20(1)116,
20(4)707,
20(4)768,
21(1)11,
21(4)848,
21(5)948,
21(5)1028,
21(6)1077,
30(5)25,
30(5)26,
30(6)31,
31(6)21,
34(1)3
- C.2.0,
11(2)284
- C.2.4,
7(1)80,
9(2)235,
10(1)51,
10(2)282,
10(4)513,
11(1)90,
11(2)249,
12(4)537,
13(4)558,
15(1)1,
15(3)563,
15(4)706,
15(4)735,
17(1)157,
17(3)535,
18(5)615,
20(1)51
- causal,
20(1)208
- client,
10(2)204,
22(6)1037,
28(2)290,
30(4)19,
30(6)30,
31(3)11,
31(5)19,
32(3)8
- COMMUNICATION, COMPUTER-,
7(1)80,
7(2)270,
8(1)154,
9(2)235,
10(1)51,
10(2)282,
10(4)513,
11(1)90,
11(2)249,
11(2)284,
11(2)330,
12(2)303,
12(4)537,
13(4)558,
14(3)417,
15(1)1,
15(1)36,
15(3)563,
15(4)706,
15(4)735,
16(2)259,
17(1)157,
17(3)535,
18(5)615,
20(1)51
- COMPUTER-COMMUNICATION,
7(1)80,
7(2)270,
8(1)154,
9(2)235,
10(1)51,
10(2)282,
10(4)513,
11(1)90,
11(2)249,
11(2)284,
11(2)330,
12(2)303,
12(4)537,
13(4)558,
14(3)417,
15(1)1,
15(1)36,
15(3)563,
15(4)706,
15(4)735,
16(2)259,
17(1)157,
17(3)535,
18(5)615,
20(1)51
- COMPUTING,
16(1)102
- constructing,
4(4)527,
13(1)124,
15(4)632,
15(5)745,
16(4)1215,
16(4)1248,
17(2)197,
18(5)528,
19(6)899,
21(3)677,
21(4)848,
22(6)973
- corrupted,
21(6)1196
- counter,
16(4)1319,
16(5)1399
- cryptographic,
30(6)30,
31(1)5
- D.4.5,
8(1)50,
9(2)235,
11(2)249,
12(2)178,
15(3)563,
16(6)1719,
17(3)535,
21(1)46
- D.4.6,
15(4)706,
21(1)90
- demonstrate,
7(4)560,
9(2)125,
11(4)598,
13(1)52,
14(4)471,
16(3)305,
16(3)328,
16(3)649,
16(3)843,
16(5)1512,
17(2)197,
17(5)777,
19(5)751,
19(6)1053,
20(1)116,
20(2)436,
20(6)1195,
21(1)138,
21(3)627,
21(4)747,
22(2)224,
22(3)471,
22(3)540,
22(6)1037,
23(2)105,
28(1)1,
28(2)207,
28(5)908,
29(1)2,
30(2)8,
31(2)6,
31(3)9,
31(3)12,
31(4)14,
32(2)4,
32(3)7,
32(3)9
- despite,
4(2)295,
16(4)1361,
18(5)528,
31(5)19,
32(1)2
- effect,
4(1)44,
4(2)149,
4(2)179,
4(3)323,
6(2)159,
7(4)501,
7(4)637,
8(4)491,
14(2)173,
14(2)265,
16(2)175,
16(3)387,
16(4)1248,
17(4)635,
21(2)240,
21(5)977,
22(2)265,
22(2)340,
22(5)816,
22(5)932,
23(2)105,
27(6)1270,
28(3)476,
30(3)15,
30(4)21,
31(1)2,
31(3)12,
31(6)23,
32(5)17,
32(6)22,
33(1)4
- even,
4(4)668,
7(1)62,
8(4)491,
8(4)524,
8(4)547,
9(2)164,
9(2)235,
11(4)598,
13(2)237,
15(4)632,
16(4)1097,
16(4)1248,
16(5)1467,
17(1)63,
17(3)461,
17(4)561,
18(3)235,
18(4)424,
18(6)649,
18(6)752,
19(3)462,
20(1)1,
20(4)724,
21(2)189,
22(1)87,
22(2)416,
28(1)1,
28(3)517,
28(4)715,
28(5)848,
28(5)942,
29(5)29,
29(6)35,
30(5)28,
31(3)9,
31(5)17,
31(6)20,
32(1)1,
32(4)15,
32(5)17,
32(5)18,
32(6)23,
34(1)6
- failing,
31(3)9
- fault-tolerance,
9(2)235,
11(2)249,
12(2)178,
15(3)563,
16(6)1719,
17(3)535,
21(1)46
- identify,
8(4)419,
15(4)659,
16(4)1248,
16(5)1648,
18(6)649,
21(6)1137,
28(1)134,
28(2)256,
29(2)12,
30(1)4,
30(3)17,
31(5)17,
32(1)3,
32(4)15
- illustrate,
4(1)83,
5(2)236,
10(2)189,
13(2)211,
14(1)54,
16(5)1543,
16(6)1875,
17(4)561,
18(4)424,
18(5)564,
19(3)427,
20(2)344,
20(5)1014,
21(2)189,
22(2)416,
22(4)583,
27(6)1049,
27(6)1270,
28(3)517,
30(5)26,
31(1)2,
31(1)5,
31(2)7,
31(4)13,
32(4)14
- implemented,
4(2)149,
4(2)295,
7(1)137,
7(3)404,
7(4)501,
8(3)344,
9(2)235,
13(1)1,
14(2)147,
14(4)471,
15(1)182,
16(2)175,
16(3)577,
16(3)843,
16(4)1248,
16(4)1319,
16(5)1431,
16(5)1512,
16(6)1699,
17(1)85,
17(2)197,
17(2)233,
17(4)635,
18(3)268,
18(4)424,
18(5)528,
18(5)564,
18(5)615,
18(6)752,
19(1)153,
19(5)726,
19(5)804,
19(6)942,
20(3)483,
20(4)869,
20(5)1014,
20(6)1195,
20(6)1265,
21(1)138,
21(4)703,
22(2)378,
22(5)816,
27(6)1049,
27(6)1097,
28(1)1,
28(1)70,
28(1)106,
28(1)134,
28(2)207,
28(4)696,
29(1)3,
29(5)29,
30(3)17,
30(4)22,
30(4)23,
31(1)1,
31(2)6,
31(2)8,
31(6)22,
32(2)4,
32(5)16,
32(5)18,
32(6)21,
34(1)2
- important,
4(2)179,
4(3)455,
4(4)527,
4(4)687,
9(2)125,
13(1)21,
14(3)339,
14(4)521,
15(4)659,
15(5)771,
16(2)205,
16(4)1081,
16(4)1156,
16(4)1319,
16(6)1811,
17(4)600,
18(3)300,
18(4)454,
18(4)477,
19(1)188,
20(1)51,
20(3)586,
20(6)1223,
21(1)138,
21(2)189,
21(2)324,
21(5)914,
21(5)977,
21(6)1251,
22(3)506,
22(4)638,
22(4)701,
22(6)1002,
27(6)1049,
28(4)747,
29(1)3,
30(2)8,
30(3)17,
30(4)18,
30(6)33,
30(6)34,
32(3)8,
32(3)9,
34(1)2,
34(1)3,
34(1)5
- INFORMATION,
7(4)600,
11(1)115,
13(3)295,
15(5)795,
16(1)102,
16(3)775,
19(6)992
- instead,
3(3)251,
4(2)226,
6(2)254,
16(3)775,
16(5)1411,
16(6)1768,
17(3)431,
19(3)413,
20(1)51,
20(6)1297,
21(3)430,
22(2)187,
22(5)816,
28(5)942,
34(1)1,
34(1)2,
34(1)6
- integrity,
16(3)775
- issue,
9(2)164,
9(2)198,
9(2)257,
11(4)598,
13(1)21,
13(2)237,
14(3)339,
16(3)607,
16(4)1156,
16(4)1361,
16(6)1675,
17(3)431,
17(4)561,
18(6)752,
21(1)46,
21(4)813,
22(2)296,
28(3)429,
29(5)23,
30(1)4,
30(4)19,
30(6)33,
31(5)19,
32(3)9,
33(5)15,
34(1)1
- key,
2(1)77,
14(2)201,
14(4)471,
15(1)36,
16(3)939,
16(4)1156,
16(4)1361,
17(2)264,
20(2)436,
20(3)635,
20(4)869,
21(3)527,
21(5)948,
27(6)1147,
28(1)134,
28(3)517,
30(4)19,
30(5)25,
31(1)3,
31(5)17,
32(1)2,
32(1)3,
32(2)6,
32(4)14,
33(1)3,
33(5)17
- maintaining,
20(2)274,
21(5)977,
27(6)1049,
31(4)14,
32(6)24
- MANAGEMENT,
8(1)50,
8(4)577,
9(3)297,
11(2)249,
12(2)178,
14(2)201,
15(3)494,
15(5)795,
16(1)102,
16(3)727,
16(3)775
- Milieux,
16(1)102
- need,
4(1)44,
4(4)711,
8(4)491,
9(2)235,
9(4)491,
13(2)237,
14(4)521,
15(1)73,
16(3)607,
16(3)687,
16(4)1279,
16(6)1768,
17(2)264,
18(5)615,
19(6)899,
20(1)51,
20(2)274,
20(3)635,
20(4)869,
20(6)1131,
21(6)1137,
22(2)187,
22(2)296,
22(4)638,
22(4)701,
22(6)1037,
28(4)715,
28(5)942,
31(6)22,
32(3)9,
33(1)3
- NETWORKS,
7(1)80,
7(2)270,
8(1)154,
9(2)235,
10(1)51,
10(2)282,
10(4)513,
11(1)90,
11(2)249,
11(2)284,
11(2)330,
12(2)303,
12(4)537,
13(4)558,
14(3)417,
15(1)1,
15(1)36,
15(3)563,
15(4)706,
15(4)735,
16(2)259,
17(1)157,
17(3)535,
18(5)615,
20(1)51
- novel,
4(2)239,
4(4)552,
5(2)236,
7(4)501,
8(4)419,
14(1)54,
14(4)574,
15(5)745,
17(3)461,
18(4)355,
19(1)48,
19(5)726,
20(1)166,
20(2)436,
21(5)1028,
22(1)45,
27(6)1049,
27(6)1097,
27(6)1216,
27(6)1344,
28(1)1,
28(5)942,
30(1)4,
30(4)24,
30(6)33,
31(5)18,
32(1)2,
32(2)4,
32(3)9,
32(4)12,
32(4)13,
32(4)15,
33(6)21,
34(1)3,
34(1)5
- only,
4(2)149,
4(3)382,
4(4)668,
4(4)687,
6(4)527,
7(1)62,
8(4)491,
9(2)235,
9(3)319,
9(4)473,
10(2)204,
13(1)1,
14(1)28,
14(3)299,
14(3)339,
14(3)417,
14(4)574,
15(1)73,
15(4)632,
15(5)745,
16(3)428,
16(3)649,
16(3)687,
16(3)939,
16(3)1010,
16(5)1648,
17(1)63,
17(2)197,
17(3)431,
18(1)30,
18(1)73,
18(4)355,
18(4)401,
18(4)424,
18(6)711,
18(6)752,
19(3)525,
19(6)1031,
19(6)1085,
20(1)51,
20(3)483,
20(3)546,
20(4)869,
20(6)1251,
20(6)1265,
21(3)502,
21(3)677,
21(6)1077,
22(1)1,
22(1)162,
22(2)224,
22(2)296,
22(3)471,
22(3)540,
22(4)638,
22(4)701,
27(6)1097,
27(6)1270,
28(1)106,
28(2)290,
28(2)331,
28(3)476,
28(5)795,
28(5)908,
29(5)29,
31(1)3,
31(1)4,
31(3)10,
31(3)12,
31(4)13,
31(4)15,
31(6)21,
32(1)3,
32(3)9,
32(4)15,
32(6)22,
33(1)4
- order,
4(2)179,
6(2)159,
9(4)491,
13(1)1,
13(2)269,
14(2)173,
14(2)265,
14(4)574,
16(3)328,
16(4)1117,
16(4)1248,
16(6)1875,
17(2)197,
17(2)394,
18(4)477,
19(6)899,
19(6)942,
20(1)116,
20(1)208,
20(2)436,
20(3)586,
21(2)324,
21(2)370,
21(4)703,
21(5)948,
21(6)1137,
21(6)1196,
22(2)296,
22(2)416,
22(4)701,
22(5)932,
23(2)105,
28(2)207,
28(2)290,
28(3)476,
28(5)908,
30(6)32,
31(6)20,
32(1)3,
32(2)4
- organization,
3(4)508,
7(1)80,
7(2)183,
7(2)270,
7(3)404,
7(4)501,
8(1)154,
8(4)419,
9(2)235,
9(4)599,
9(4)618,
10(1)51,
10(2)282,
10(2)313,
10(3)374,
10(4)513,
10(4)579,
11(1)1,
11(1)57,
11(1)90,
11(2)249,
11(2)284,
11(2)330,
11(3)404,
12(1)102,
12(2)303,
12(4)501,
12(4)537,
13(4)558,
14(1)28,
14(2)265,
14(3)299,
14(3)417,
14(4)521,
15(1)1,
15(1)36,
15(3)400,
15(3)563,
15(4)632,
15(4)659,
15(4)706,
15(4)735,
16(1)151,
16(2)259,
16(3)370,
16(3)775,
16(3)954,
16(4)1319,
16(5)1399,
17(1)123,
17(1)157,
17(3)535,
17(4)561,
17(5)691,
18(4)355,
18(5)615,
18(6)659,
19(1)188,
19(2)292,
19(3)492,
19(3)525,
20(1)51,
20(2)274,
20(4)869,
20(6)1195,
21(1)46,
21(4)703,
21(5)1028,
22(5)773,
28(5)848
- possess,
4(1)44,
16(5)1472,
17(1)63,
19(5)639
- processed,
19(3)462,
22(3)540
- propose,
13(2)237,
14(2)201,
15(5)745,
16(3)305,
16(3)456,
16(3)687,
16(4)1248,
16(6)1737,
17(4)600,
17(4)635,
18(5)564,
18(5)615,
19(3)413,
19(3)444,
19(5)804,
20(1)116,
20(2)436,
20(6)1111,
20(6)1195,
21(1)90,
21(2)189,
21(3)677,
22(6)973,
27(6)1097,
28(1)70,
28(2)256,
28(2)331,
30(2)8,
30(4)22,
30(5)25,
30(6)30,
30(6)33,
31(1)1,
31(1)3,
31(4)13,
32(1)2,
32(3)7,
32(4)11,
32(4)13,
32(4)14,
32(4)15,
32(5)16,
33(4)14,
34(1)2
- protection,
15(4)706,
16(3)775,
21(1)90,
31(3)11
- protocol,
5(1)1,
7(3)404,
8(1)154,
11(2)284,
11(2)330,
12(2)303,
13(1)124,
14(3)417,
15(1)1,
15(1)36,
15(4)706,
16(2)259,
16(5)1543,
18(6)659,
19(1)48,
19(2)292,
22(4)673,
22(6)1037,
30(6)30,
31(1)5,
31(6)22
- reliability,
4(3)382,
7(1)176,
7(2)214,
7(2)244,
7(3)404,
8(1)50,
9(2)235,
10(1)118,
10(2)189,
11(2)169,
11(2)249,
11(2)330,
12(2)178,
13(1)124,
15(1)36,
15(1)182,
15(3)563,
16(3)939,
16(6)1719,
17(2)217,
17(3)535,
18(2)139,
19(1)87,
19(5)726,
20(2)274,
20(4)724,
20(5)917,
21(1)46,
30(2)8
- replicated,
20(6)1131
- request,
15(4)706,
16(5)1449,
17(3)535
- required,
6(2)159,
6(4)527,
8(4)491,
9(2)198,
9(3)319,
12(4)643,
14(1)28,
14(3)396,
16(2)175,
16(4)1156,
16(5)1399,
16(5)1449,
16(6)1768,
17(1)28,
17(5)691,
18(2)139,
18(4)477,
18(5)564,
19(6)942,
19(6)1053,
21(1)138,
21(3)430,
22(3)540,
22(6)1037,
27(6)1097,
27(6)1147,
27(6)1270,
28(2)207,
28(3)517,
31(2)7,
33(3)9,
34(1)2
- resulting,
4(2)149,
9(3)319,
16(3)1024,
16(5)1572,
17(2)181,
19(1)48,
20(3)483,
20(4)869,
21(2)370,
21(4)790,
22(2)340,
22(4)583,
22(4)638,
22(5)861,
28(3)429,
30(6)33,
31(4)14,
31(5)19,
31(6)20,
32(2)6,
34(1)4
- retain,
9(2)277,
9(3)408,
16(6)1675,
18(1)1,
31(2)7
- security,
7(2)214,
9(4)582,
15(4)706,
16(3)775,
19(1)153,
21(1)90,
21(6)1196,
22(4)638,
28(1)175,
30(5)25,
30(6)30,
31(1)3,
31(1)5,
33(4)13
- sequence,
4(4)563,
14(3)339,
14(3)417,
14(4)471,
16(2)259,
16(3)775,
16(4)1156,
16(4)1248,
16(4)1319,
16(5)1472,
16(5)1648,
16(6)1842,
17(1)85,
17(2)394,
18(1)16,
18(6)659,
19(5)639,
19(6)1031,
19(6)1085,
20(2)259,
20(5)980,
21(3)527,
21(5)1028,
22(2)378,
22(3)471,
30(5)25,
30(5)28,
31(3)10,
32(2)5,
32(4)13,
33(4)14,
34(1)4
- server,
19(5)804,
27(6)1049,
27(6)1097,
28(1)1,
28(1)70,
28(5)908,
29(4)18,
30(4)22
- service,
14(2)201,
16(1)151,
25(6)814,
30(6)30,
31(1)5,
31(5)19
- several,
4(3)362,
4(4)585,
9(2)277,
11(4)633,
13(1)150,
13(2)181,
14(1)54,
14(4)521,
15(1)36,
15(4)632,
15(5)771,
16(3)305,
16(3)428,
16(3)524,
16(3)843,
16(3)924,
16(3)954,
16(3)1051,
16(4)1114,
16(4)1248,
16(5)1411,
16(6)1661,
17(1)85,
17(1)123,
17(2)181,
17(2)197,
17(2)394,
18(1)1,
18(1)16,
18(4)424,
18(5)528,
19(3)444,
19(3)492,
19(5)639,
19(6)899,
19(6)1031,
20(3)483,
20(4)724,
20(5)917,
20(6)1131,
20(6)1195,
21(1)11,
21(2)175,
21(3)677,
21(6)1137,
21(6)1251,
22(3)540,
22(4)583,
22(4)638,
22(6)1002,
27(6)1147,
28(1)70,
28(4)747,
29(1)3,
29(2)13,
30(1)4,
30(4)19,
30(4)23,
31(1)2,
31(2)7,
31(3)9,
31(3)12,
31(4)14,
32(3)9,
32(4)11,
32(5)17,
32(6)21,
33(1)2,
33(4)12,
34(1)2,
34(1)3,
34(1)6
- single,
4(1)44,
4(2)179,
4(3)382,
8(4)419,
9(3)319,
11(4)491,
13(1)150,
13(4)451,
14(1)1,
14(1)107,
14(2)201,
14(4)574,
15(4)632,
16(3)524,
16(4)1114,
16(4)1117,
16(5)1648,
16(6)1661,
16(6)1768,
16(6)1842,
17(1)63,
17(1)85,
17(3)535,
17(5)777,
18(3)235,
18(5)528,
20(1)51,
20(3)483,
20(4)869,
21(1)46,
21(3)627,
21(5)895,
21(5)948,
21(5)977,
21(5)1028,
22(4)583,
22(5)773,
22(5)816,
22(6)1002,
28(1)70,
28(2)331,
30(4)21,
30(4)23,
30(5)28,
30(6)32,
30(6)33,
31(3)12,
31(6)20,
32(3)9,
34(1)5
- tolerance., Fault-,
9(2)235,
11(2)249,
12(2)178,
15(3)563,
16(6)1719,
17(3)535
- violation,
30(4)20