Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

Haiyun Tian; Phillip J. Brooke; Anne-gwenn Bosser

doi:10.1007/978-3-642-30729-4_15

Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

Haiyun Tian, Phillip J. Brooke, Anne-gwenn Bosser

School of Computing, Engineering & Digital Technologies

Research output: Chapter in Book/Report/Conference proceeding › Chapter

586 Downloads (Pure)

Abstract

Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users' satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to speci c implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats from server-visible game behaviours. We argue that this cheat detection is more resistant to changing cheat techniques

Original language	English
Title of host publication	Lecture Notes in Computer Science
Place of Publication	Heideberg
Publisher	Springer Verlag
Pages	206-220
DOIs	https://doi.org/10.1007/978-3-642-30729-4_15
Publication status	Published - 2012
Event	9th International Conference, Integrated Formal Methods - Pisa, Italy Duration: 18 Jun 2012 → 21 Jun 2012 Conference number: 9

Publication series

Name	Integrated Formal Methods
Volume	7321
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference, Integrated Formal Methods
Abbreviated title	IFM 2012
Country/Territory	Italy
City	Pisa
Period	18/06/12 → 21/06/12

Access to Document

10.1007/978-3-642-30729-4_15

Accepted manuscriptAccepted author manuscript, 459 KBLicence: CC BY-NC-ND

http://link.springer.com/10.1007/978-3-642-30729-4_15

Cite this

@inbook{1b7f9cb46a6542f89d8755776653b881,

title = "Behaviour-Based Cheat Detection in Multiplayer Games with Event-B",

abstract = "Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users' satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to speci c implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats from server-visible game behaviours. We argue that this cheat detection is more resistant to changing cheat techniques",

author = "Haiyun Tian and Brooke, \{Phillip J.\} and Anne-gwenn Bosser",

year = "2012",

doi = "10.1007/978-3-642-30729-4\_15",

language = "English",

series = "Integrated Formal Methods",

publisher = "Springer Verlag",

pages = "206--220",

booktitle = "Lecture Notes in Computer Science",

address = "Germany",

note = "9th International Conference, Integrated Formal Methods, IFM 2012 ; Conference date: 18-06-2012 Through 21-06-2012",

}

TY - CHAP

T1 - Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

AU - Tian, Haiyun

AU - Brooke, Phillip J.

AU - Bosser, Anne-gwenn

N1 - Conference code: 9

PY - 2012

Y1 - 2012

N2 - Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users' satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to speci c implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats from server-visible game behaviours. We argue that this cheat detection is more resistant to changing cheat techniques

AB - Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users' satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to speci c implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats from server-visible game behaviours. We argue that this cheat detection is more resistant to changing cheat techniques

U2 - 10.1007/978-3-642-30729-4_15

DO - 10.1007/978-3-642-30729-4_15

M3 - Chapter

T3 - Integrated Formal Methods

SP - 206

EP - 220

BT - Lecture Notes in Computer Science

PB - Springer Verlag

CY - Heideberg

T2 - 9th International Conference, Integrated Formal Methods

Y2 - 18 June 2012 through 21 June 2012

ER -

Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this