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

  • HaiYun Tian
  • Phillip J. Brooke
  • Anne-Gwenn Bosser
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)
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

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 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.

Keywords

Cheat detection multiplayer games Event-B 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • HaiYun Tian
    • 1
  • Phillip J. Brooke
    • 1
  • Anne-Gwenn Bosser
    • 1
  1. 1.School of ComputingTeesside UniversityMiddlesbroughUK

Personalised recommendations