Behaviour-Based cheat detection in multiplayer games with event-b

Authors:
HaiYun Tian;Phillip J. Brooke;Anne-Gwenn Bosser
Affiliations:
School of Computing, Teesside University, Middlesbrough, UK;School of Computing, Teesside University, Middlesbrough, UK;School of Computing, Teesside University, Middlesbrough, UK
Venue:
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Year:
2012

Citing 10
Cited 0

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
The Semantics of Circus

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Is runtime verification applicable to cheat detection?

Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games
Playing the game: cheating, loopholes, and virtual identity

ACM SIGCAS Computers and Society
A systematic classification of cheating in online games

NetGames '05 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games
Protecting online games against cheating

NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
A Novel Approach to the Detection of Cheating in Multiplayer Online Games

ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Decomposition Structures for Event-B

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.