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

  • HaiYun Tian
  • Phillip J. Brooke
  • Anne-Gwenn Bosser
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)


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.


Cheat detection multiplayer games Event-B 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)zbMATHCrossRefGoogle Scholar
  2. 2.
    Abrial, J.-R.: A System Development Process with Event-B and the Rodin Platform (2007)Google Scholar
  3. 3.
    Abrial, J.-R.: Modelling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press (2010)Google Scholar
  4. 4.
    Abrial, J.-R., Voisin, L.: Rodin deliverable 3.2 Event-B language (2005)Google Scholar
  5. 5.
    Bell, M.: Toward a definition of “virtual worlds”. Journal of Virtual World Research 1(1) (2008)Google Scholar
  6. 6.
    Bradley, R.A., Terry, M.E.: Rank Analysis of Incomplete Block Designs: I. The Method of Paired Comparisons. Biometrika, vol. 39 (1952)Google Scholar
  7. 7.
    Brooke, P.J., Paige, R.F., Clark, J.A., Stepney, S.: Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. 34(2) (September 2004)Google Scholar
  8. 8.
    Butler, M.: Decomposition Structures for Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 20–38. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol. 2272, pp. 184–203. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Chapel, L., Botvich, D., Malone, D.: Probabilistic approaches to cheating detection in online games. In: IEEE Symposium on Computational Intelligence and Games (2010)Google Scholar
  11. 11.
    de Paoli, S., Kerr, A.: We will always be one step ahead of them: A case study on the economy of cheating in MMORPGs. Journal of Virtual Worlds Research 2(4) (2010)Google Scholar
  12. 12.
    DeLap, M., Knutsson, B., Lu, H., Sokolsky, O., Sammapun, U., Lee, I., Tsarouchis, C.: Is runtime verification applicable to cheat detection? In: Proceedings of 3rd ACM SIGCOMM Workshop on Network and System Support for Games, NetGames 2004, pp. 134–138. ACM, New York (2004)CrossRefGoogle Scholar
  13. 13.
  14. 14.
    INCA Internet (2000),
  15. 15.
    Choi, H.-J., Xin, J., Yan, J.: Security issues in online games. The Electronic Library 20 (2002)Google Scholar
  16. 16.
    Karen, S., Peter, M.: Guide to Intrusion Detection and Prevention Systems (IDPS). Computer Security Resource Center (2009)Google Scholar
  17. 17.
    Laurens, P., Paige, R.F., Brooke, P.J., Chivers, H.: A novel approach to the detection of cheating in multiplayer online games. In: ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 97–106. IEEE Computer Society, Washington, DC (2007)CrossRefGoogle Scholar
  18. 18.
    Mönch, C., Grimen, G., Midtstraum, R.: Protecting online games against cheating. In: Proceedings of 5th ACM SIGCOMM Workshop on Network and System Support for Games, NetGames 2006. ACM, New York (2006)Google Scholar
  19. 19.
    Schroeder, R.: Defining virtual worlds and virtual environments. Journal of Virtual Worlds Research 1(1), 1–3 (2008)Google Scholar
  20. 20.
    Tian, H.Y.: Formal Derivation of Behaviour-based Cheat Detectors for Multiplayer Games, PhD thesis. School of Computing, Teesside University (2012)Google Scholar
  21. 21.
    Valve Corporation (2002),
  22. 22.
    Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Prentice Hall (1996)Google Scholar
  23. 23.
    Yan, J., Randell, B.: A systematic classification of cheating in online games. In: NetGames 2005: Proceedings of 4th ACM SIGCOMM Workshop on Network and System Support for Games, pp. 1–9. ACM, New York (2005)CrossRefGoogle Scholar

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