Entry Bethea:2011:SSV 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{Bethea:2011:SSV,
author = "Darrell Bethea and Robert A. Cochran and Michael K.
Reiter",
title = "Server-side verification of client behavior in online
games",
journal = j-TISSEC,
volume = "14",
number = "4",
pages = "32:1--32:??",
month = dec,
year = "2011",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2043628.2043633",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Dec 22 18:15:07 MST 2011",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "Online gaming is a lucrative and growing industry but
one that is slowed by cheating that compromises the
gaming experience and hence drives away players (and
revenue). In this paper we develop a technique by which
game developers can enable game operators to validate
the behavior of game clients as being consistent with
valid execution of the sanctioned client software. Our
technique employs symbolic execution of the client
software to extract constraints on client-side state
implied by each client-to-server message, and then uses
constraint solving to determine whether the sequence of
client-to-server messages can be ``explained'' by any
possible user inputs, in light of the server-to-client
messages already received.",
acknowledgement = ack-nhfb,
articleno = "32",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- already,
10(1)2,
13(3)27,
15(1)2,
17(4)16
- 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)8,
14(1)9,
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
- behavior,
2(3)295,
2(4)354,
10(4)6,
11(4)19,
12(1)5,
12(3)14,
12(3)19,
14(1)10,
15(1)2,
15(2)10,
15(3)14,
16(3)12,
17(2)8,
18(2)5,
18(2)7,
18(3)9
- being,
9(4)421,
10(4)3,
11(2)2,
11(3)14,
11(3)15,
12(2)12,
12(3)17,
13(4)35,
16(2)6,
18(1)1,
18(2)5
- client,
2(3)230,
2(4)390,
10(2)8,
10(4)4,
11(2)2,
11(3)16,
12(3)14,
12(3)16,
13(4)30,
14(1)12,
14(3)27,
16(2)5,
16(3)11,
16(3)12,
16(4)13,
17(2)5,
17(4)15
- client-side,
7(4)553
- compromise,
2(2)159,
2(3)230,
11(4)22,
14(1)7,
14(4)28,
15(1)5,
15(2)9,
17(2)7,
17(3)11,
18(2)5
- consistent,
2(1)34,
12(2)8,
13(3)25,
14(1)2,
15(4)17
- 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,
15(2)10,
15(3)13,
15(4)15,
16(1)3,
16(1)4,
16(4)17,
17(1)3,
17(2)8,
18(2)6
- determine,
1(1)3,
11(2)3,
11(2)6,
11(3)16,
12(4)20,
13(3)26,
13(4)38,
13(4)40,
14(1)2,
16(2)5,
17(1)1,
17(2)8
- develop,
2(2)138,
10(2)8,
10(3)9,
11(3)12,
12(1)4,
12(1)6,
12(3)14,
13(3)22,
13(3)27,
14(1)9,
15(1)3,
15(2)9,
15(2)10,
16(2)7,
16(3)10,
17(1)2
- developers,
2(2)177
- drive,
17(2)6
- each,
2(1)65,
2(2)138,
2(4)390,
9(4)421,
9(4)461,
10(1)4,
10(2)8,
10(3)10,
10(3)12,
11(3)14,
11(4)18,
11(4)23,
12(1)6,
12(2)8,
12(2)10,
12(3)18,
12(4)20,
13(1)10,
13(4)29,
13(4)34,
14(3)25,
14(3)26,
14(3)27,
15(1)2,
15(2)6,
16(4)14,
16(4)17,
17(2)8,
17(3)10,
17(3)12,
17(4)13,
18(1)4
- employ,
2(3)295,
2(4)390,
10(4)5,
11(2)1,
11(4)19,
12(3)16,
16(4)16
- 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(1)8,
15(2)7,
16(1)2,
16(2)7,
17(2)5,
17(2)8,
17(3)10,
17(4)16,
18(1)2
- execution,
1(1)26,
10(4)3,
12(2)10,
12(2)11,
12(3)14,
14(1)6,
14(2)15,
15(1)2,
15(2)10,
15(3)13,
16(1)3,
16(2)6,
16(2)7,
18(1)2,
18(1)4
- experience,
2(1)34,
11(1)2,
17(3)9,
17(4)14,
18(1)3
- extract,
12(1)4
- growing,
10(1)3,
10(4)4,
13(4)36
- hence,
2(1)105,
2(4)390,
10(4)3,
11(3)14,
14(1)9
- industry,
12(2)13,
17(1)1
- input,
10(4)3,
10(4)4,
12(2)10,
14(1)7,
14(3)27,
15(4)15,
15(4)17,
16(1)4,
16(2)6,
18(1)4
- light,
12(4)21,
16(3)10,
18(1)1,
18(1)2
- message,
2(2)177,
2(3)332,
9(4)461,
10(2)8,
11(2)4,
11(2)6,
11(3)15,
11(4)23,
12(1)3,
13(4)31,
13(4)37,
17(3)9,
17(4)13
- 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(1)5,
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,
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
- online,
1(1)3,
9(3)235,
11(2)5,
11(4)19,
12(2)13,
12(4)22,
13(4)41,
14(1)11,
15(2)9,
16(2)7,
16(4)14,
17(4)14,
18(1)1,
18(4)13
- operators,
14(1)8,
14(1)9,
18(2)5
- paper,
1(1)66,
1(1)93,
2(1)34,
2(1)105,
2(2)138,
2(2)177,
2(3)269,
2(4)390,
7(2)319,
9(2)162,
9(2)181,
9(4)421,
10(1)2,
10(1)4,
10(2)5,
10(2)7,
10(3)9,
10(3)10,
10(3)11,
10(3)12,
10(4)2,
10(4)4,
11(1)2,
11(2)1,
11(2)6,
12(2)12,
14(4)28
- possible,
2(1)105,
10(2)5,
10(4)2,
10(4)4,
11(2)6,
11(3)16,
11(4)22,
12(1)6,
12(2)10,
13(3)28,
13(4)33,
13(4)35,
13(4)39,
14(1)3,
14(1)14,
14(3)25,
15(2)10,
17(1)2,
17(3)9,
18(1)4,
18(3)9
- received,
11(4)22,
14(1)5,
14(1)14,
15(2)6,
17(4)15
- Reiter, Michael K.,
1(1)66,
2(2)138,
4(4)453,
12(2)11,
14(1)2,
14(1)13,
15(2)9,
17(2)8
- sequence,
2(3)295,
10(2)8,
13(3)20,
13(4)35,
15(1)2,
15(2)10,
16(2)8
- 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(1)8,
14(3)24,
15(2)8,
17(1)1,
17(3)11
- solving,
12(2)10,
12(3)16,
13(3)22,
16(4)17,
18(1)3
- state,
1(1)93,
2(2)177,
10(2)5,
12(1)4,
12(1)5,
12(2)8,
12(4)20,
13(1)10,
13(3)20,
14(1)6,
14(1)10,
14(1)13,
16(1)3,
17(2)7,
18(1)3,
18(1)4
- symbolic,
12(2)10,
14(2)15,
15(1)3,
17(2)7
- 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,
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(2)6,
18(3)11
- then,
1(1)3,
2(1)3,
2(1)65,
2(2)138,
9(4)461,
10(1)2,
10(1)4,
11(2)4,
11(4)18,
12(2)8,
12(2)13,
12(3)18,
12(4)22,
13(1)10,
13(3)22,
13(3)25,
13(4)32,
14(4)30,
14(4)31,
15(1)4,
15(2)6,
15(3)13,
15(4)18,
16(2)5,
16(2)8,
17(3)9,
17(4)15,
18(1)3,
18(1)4,
18(4)12
- 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,
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
- valid,
2(3)295,
15(2)10
- validate,
2(3)230,
12(2)13,
15(2)6,
15(3)12,
18(2)7
- 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,
15(1)3,
15(2)9,
15(4)18,
16(2)8,
17(2)6,
18(2)6,
18(2)8,
18(3)11,
18(4)14
- whether,
1(1)3,
1(1)26,
10(2)5,
10(4)2,
10(4)5,
11(2)3,
11(2)6,
11(3)16,
12(1)1,
12(4)20,
13(3)26,
13(4)40,
14(3)25,
16(1)3,
16(1)4,
17(1)1,
17(1)2