Entry Halpern:2008:SMS 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{Halpern:2008:SMS,
author = "Joseph Y. Halpern and Kevin R. O'Neill",
title = "Secrecy in Multiagent Systems",
journal = j-TISSEC,
volume = "12",
number = "1",
pages = "5:1--5:??",
month = oct,
year = "2008",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1410234.1410239",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Tue Nov 11 15:54:06 MST 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We introduce a general framework for reasoning about
secrecy requirements in multiagent systems. Our
definitions extend earlier definitions of secrecy and
nondeducibility given by Shannon and Sutherland.
Roughly speaking, one agent maintains secrecy with
respect to another if the second agent cannot rule out
any possibilities for the behavior or state of the
first agent. We show that the framework can handle
probability and nondeterminism in a clean way, is
useful for reasoning about asynchronous systems as well
as synchronous systems, and suggests generalizations of
secrecy that may be useful for dealing with issues such
as resource-bounded reasoning. We also show that a
number of well-known attempts to characterize the
absence of information flow are special cases of our
definitions of secrecy.",
acknowledgement = ack-nhfb,
articleno = "5",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "information flow; secrecy",
}
Related entries
- absence,
11(3)16,
12(4)20,
15(1)4,
16(2)6,
17(2)8
- agent,
12(1)1,
15(4)16
- another,
1(1)26,
1(1)66,
11(3)13,
11(3)14,
12(3)18,
13(3)26,
13(4)36,
15(3)12,
15(4)18,
18(1)1
- 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)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)8,
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
- asynchronous,
2(3)269,
8(3)259
- attempt,
11(4)19,
12(2)11,
12(2)12,
12(4)22,
13(4)41,
14(3)27,
15(3)12,
17(4)16,
18(3)9
- behavior,
2(3)295,
2(4)354,
10(4)6,
11(4)19,
12(3)14,
12(3)19,
14(1)10,
14(4)32,
15(1)2,
15(2)10,
15(3)14,
16(3)12,
17(2)8,
18(2)5,
18(2)7,
18(3)9
- cannot,
1(1)66,
2(2)177,
10(2)7,
11(3)12,
11(3)13,
12(2)9,
12(3)14,
13(3)20,
13(4)39,
14(3)27,
15(2)6,
15(2)9,
15(4)17,
16(1)3,
16(4)16
- case,
7(2)206,
9(4)391,
10(4)2,
11(3)14,
11(4)19,
11(4)21,
12(1)1,
12(2)10,
12(4)20,
13(4)32,
13(4)34,
14(1)14,
14(2)18,
14(4)28,
15(1)5,
15(2)7,
15(3)13,
16(1)4,
17(1)1,
17(2)7,
18(1)1,
18(1)2,
18(1)4
- characterize,
1(1)26,
2(3)295,
12(1)2,
14(3)23,
18(2)5
- dealing,
2(1)105,
11(3)14,
13(3)22
- definition,
2(1)105,
9(4)391,
10(1)2,
12(1)3,
13(4)39,
14(1)4,
17(1)3,
18(1)2
- earlier,
14(3)24
- extend,
2(4)354,
2(4)390,
9(4)461,
10(1)2,
11(4)20,
13(3)24,
14(1)8,
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
- first,
2(1)34,
2(1)105,
2(4)354,
9(2)181,
10(4)6,
11(2)3,
11(2)4,
11(3)13,
11(4)18,
11(4)22,
12(1)3,
12(3)18,
12(4)22,
13(4)31,
13(4)32,
14(1)13,
14(3)25,
14(4)30,
14(4)31,
15(4)17,
15(4)18,
16(3)10,
17(1)4,
17(2)6,
17(3)11,
18(1)4,
18(3)9,
18(4)12,
18(4)13
- flow,
1(1)26,
1(1)93,
10(2)7,
12(2)11,
13(3)26,
14(3)24,
15(1)2,
16(1)1,
16(2)6,
18(2)8
- 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(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,
16(4)17,
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
- general,
1(1)66,
2(1)65,
2(1)105,
2(2)159,
2(3)230,
2(3)269,
9(2)181,
9(4)391,
10(1)2,
10(4)1,
11(1)3,
12(1)2,
12(3)18,
12(4)20,
13(3)28,
15(1)2,
15(3)13,
16(1)2,
16(1)4,
16(2)7,
17(1)3,
17(1)4,
18(1)3,
18(3)10,
18(4)12
- generalization,
15(1)2,
15(4)15
- given,
1(1)3,
1(1)93,
2(1)3,
2(1)105,
10(1)2,
10(2)5,
10(4)1,
11(2)3,
11(4)19,
11(4)20,
12(1)2,
12(1)6,
12(3)14,
12(4)20,
13(1)10,
13(3)26,
14(3)26,
15(2)10,
15(3)12,
15(4)15,
16(1)3,
16(1)4,
17(3)12
- Halpern, Joseph Y.,
6(1)43,
11(4)21
- handle,
12(3)18,
15(3)13,
16(2)5
- 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(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,
16(4)17,
17(2)7,
17(3)9
- issue,
1(1)66,
2(1)65,
2(4)354,
8(4)349,
10(1)1,
10(3)12,
11(1)2,
12(2)7,
12(3)15,
12(4)22,
13(1)1,
13(2)11,
13(3)22,
13(3)26,
13(4)32,
15(1)1,
15(2)7,
16(2)7,
16(3)12,
17(1)1,
17(1)2
- known, well-,
2(1)65,
2(2)138,
13(3)24,
15(3)13,
16(1)2,
18(4)12
- maintain,
9(4)391,
14(1)12,
15(4)18
- may,
2(2)138,
2(2)177,
9(4)391,
10(3)12,
10(4)2,
11(2)2,
11(2)5,
11(3)12,
11(4)18,
11(4)21,
12(2)8,
12(3)15,
12(3)16,
13(1)10,
13(3)22,
13(3)25,
13(4)35,
13(4)38,
13(4)40,
15(2)10,
16(1)4,
17(1)2,
17(1)4,
18(1)1,
18(2)5
- number,
7(2)319,
9(2)181,
10(1)4,
10(2)5,
10(3)11,
10(3)12,
10(4)5,
11(1)2,
11(2)5,
11(3)12,
11(3)14,
11(3)15,
12(1)1,
12(1)2,
12(1)6,
12(2)8,
12(2)9,
12(2)13,
12(3)16,
12(3)18,
12(4)21,
13(1)10,
13(3)20,
13(3)22,
13(3)25,
13(4)32,
13(4)34,
14(1)11,
14(3)26,
14(4)31,
15(1)4,
15(2)7,
15(2)8,
15(4)15,
16(1)4,
16(2)7,
16(4)14,
16(4)16,
17(3)10,
17(4)16,
18(2)8
- one,
1(1)26,
1(1)93,
2(1)3,
2(1)65,
2(3)295,
9(4)461,
10(1)2,
10(2)5,
10(2)8,
10(3)12,
10(4)3,
11(2)6,
11(3)14,
12(1)1,
12(2)13,
12(3)14,
13(3)21,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)3,
14(1)5,
14(4)30,
14(4)32,
15(2)10,
15(3)11,
15(4)16,
15(4)18,
16(1)3,
16(1)4,
16(3)9,
16(4)14,
17(2)8,
17(4)13,
18(1)1,
18(3)11,
18(4)13
- possibility,
2(1)105,
13(4)41
- probability,
11(3)13,
12(2)13,
15(3)11,
16(3)11,
17(3)9,
17(4)15,
18(1)2
- reasoning,
2(3)332,
6(1)71,
7(4)591,
11(3)12,
12(1)4,
13(3)20,
14(1)8,
14(2)16
- requirements,
2(2)177,
2(3)295,
10(2)7,
11(1)4,
12(1)1,
12(2)8,
13(3)20,
13(3)22,
15(2)6,
15(3)13,
16(1)4,
17(3)10,
18(1)3,
18(4)13
- respect,
2(2)138,
10(4)2,
11(3)13,
13(3)22
- rule,
2(1)65,
10(1)4,
10(4)2,
10(4)4,
10(4)5,
12(4)21,
14(1)2,
15(2)6,
15(4)18,
16(4)16,
17(2)7
- second,
9(2)181,
9(4)461,
11(2)3,
11(2)6,
11(4)22,
12(1)3,
12(2)11,
13(4)31,
13(4)37,
16(3)9,
16(3)10,
16(3)12,
17(3)10,
18(3)9
- secrecy,
13(4)29,
16(2)6,
17(2)7
- special,
2(3)230,
8(4)349,
9(4)421,
10(1)1,
12(2)7,
13(1)1,
13(2)11,
14(1)1,
14(1)14,
15(1)1,
16(1)4
- state,
1(1)93,
2(2)177,
10(2)5,
12(1)4,
12(2)8,
12(4)20,
13(1)10,
13(3)20,
14(1)6,
14(1)10,
14(1)13,
14(4)32,
16(1)3,
17(2)7,
18(1)3,
18(1)4
- suggest,
2(3)332,
10(4)5,
16(1)4,
17(1)1
- useful,
10(3)9,
11(4)20,
12(1)6,
12(4)20,
13(4)39,
14(1)14,
15(2)10,
18(2)5,
18(3)10,
18(3)11
- 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(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,
16(4)17,
17(2)6
- well,
1(1)93,
10(1)2,
10(2)8,
10(3)11,
10(3)12,
11(1)3,
11(1)4,
11(2)5,
11(3)15,
12(1)1,
12(1)3,
12(2)10,
13(1)10,
13(3)26,
14(1)3,
14(1)5,
14(1)14,
14(3)23,
15(3)12,
15(4)15,
15(4)16,
15(4)18,
16(2)8,
17(3)9,
17(3)10,
17(3)11,
18(1)3,
18(2)5
- well-known,
2(1)65,
2(2)138,
13(3)24,
15(3)13,
16(1)2,
18(4)12