Behaviour-Based Cheat Detection in Multiplayer Games with Event-B
- Cite this paper as:
- Tian H., Brooke P.J., Bosser AG. (2012) Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. In: Derrick J., Gnesi S., Latella D., Treharne H. (eds) Integrated Formal Methods. IFM 2012. Lecture Notes in Computer Science, vol 7321. Springer, Berlin, Heidelberg
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 specific 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.
KeywordsCheat detection multiplayer games Event-B
Unable to display preview. Download preview PDF.