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

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

Research output: Chapter in Book/Report/Conference proceedingChapter

445 Downloads (Pure)


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 languageEnglish
Title of host publicationLecture Notes in Computer Science
Place of PublicationHeideberg
PublisherSpringer Verlag
Publication statusPublished - 2012
Event9th International Conference, Integrated Formal Methods - Pisa, Italy
Duration: 18 Jun 201221 Jun 2012
Conference number: 9

Publication series

NameIntegrated Formal Methods
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference9th International Conference, Integrated Formal Methods
Abbreviated titleIFM 2012


Dive into the research topics of 'Behaviour-Based Cheat Detection in Multiplayer Games with Event-B'. Together they form a unique fingerprint.

Cite this