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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
Abrial, J.-R.: A System Development Process with Event-B and the Rodin Platform (2007)
Abrial, J.-R.: Modelling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press (2010)
Abrial, J.-R., Voisin, L.: Rodin deliverable 3.2 Event-B language (2005)
Bell, M.: Toward a definition of “virtual worlds”. Journal of Virtual World Research 1(1) (2008)
Bradley, R.A., Terry, M.E.: Rank Analysis of Incomplete Block Designs: I. The Method of Paired Comparisons. Biometrika, vol. 39 (1952)
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)
Butler, M.: Decomposition Structures for Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 20–38. Springer, Heidelberg (2009)
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)
Chapel, L., Botvich, D., Malone, D.: Probabilistic approaches to cheating detection in online games. In: IEEE Symposium on Computational Intelligence and Games (2010)
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)
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)
DMW (2002), http://www.dmwworld.com/
INCA Internet (2000), http://www.inca.co.kr/
Choi, H.-J., Xin, J., Yan, J.: Security issues in online games. The Electronic Library 20 (2002)
Karen, S., Peter, M.: Guide to Intrusion Detection and Prevention Systems (IDPS). Computer Security Resource Center (2009)
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)
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)
Schroeder, R.: Defining virtual worlds and virtual environments. Journal of Virtual Worlds Research 1(1), 1–3 (2008)
Tian, H.Y.: Formal Derivation of Behaviour-based Cheat Detectors for Multiplayer Games, PhD thesis. School of Computing, Teesside University (2012)
Valve Corporation (2002), http://www.valvesoftware.com/
Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Prentice Hall (1996)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-30729-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-30729-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30728-7
Online ISBN: 978-3-642-30729-4
eBook Packages: Computer ScienceComputer Science (R0)