Is runtime verification applicable to cheat detection?

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Is runtime verification applicable to cheat detection?

Full text

Pdf (107 KB)

Source

Network and System Support for Games archive
Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games table of contents

Portland, Oregon, USA

SESSION: Novel techniques and cheat detection table of contents

Pages: 134 - 138

Year of Publication: 2004

ISBN:1-58113-942-X

Authors

Margaret DeLap	University of Pennsylvania
Björn Knutsson	University of Pennsylvania
Honghui Lu	University of Pennsylvania
Oleg Sokolsky	University of Pennsylvania
Usa Sammapun	University of Pennsylvania
Insup Lee	University of Pennsylvania
Christos Tsarouchis	University of Pennsylvania

Sponsors

ACM: Association for Computing Machinery
SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 40, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1016540.1016553 What is a DOI?

ABSTRACT

We investigate the prospect of applying runtime verification to cheat detection. Game implementation bugs are extensively exploited by cheaters, especially in massively multiplayer games. As games are implemented on larger scales and game object interactions become more complex, it becomes increasingly difficult to guarantee that high-level game rules are enforced correctly in the implementation. We observe that although implementing high-level rules in code is complex because of interference between rules, checking for rule compliance at runtime is simple because only a single rule is involved in each check. We demonstrate our idea by applying the Java-MaC runtime verification system to a simple game to detect a transaction bug that is common in massively multiplayer games.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Nathaniel E. Baughman and Brian Neil Levine. Cheat-proof playout for centralized and distributed online games. In INFOCOM '01, pages 104--113, 2001.
	2	2002-2003 by UnitedAdmins.com. Cheating Death. http://www.unitedadmins.com/cdeath.php.
	3	Eric Cronin, Burton Filstrup, and Sugih Jamin. Cheat-proofing dead reckoned multiplayer games. In Proc. ADCOG '03, January 2003.
	4	2000-2004 Even Balance, Inc. Punkbuster. http://www.punkbuster.com.
	5	Tal Garfinkel , Ben Pfaff , Jim Chow , Mendel Rosenblum , Dan Boneh, Terra: a virtual machine-based platform for trusted computing, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
	6	Patrice Godefroid, Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.174-186, January 15-17, 1997, Paris, France [doi>10.1145/263699.263717]
	7	Moonzoo Kim , Mahesh Viswanathan , Sampath Kannan , Insup Lee , Oleg Sokolsky, Java-MaC: A Run-Time Assurance Approach for Java Programs, Formal Methods in System Design, v.24 n.2, p.129-155, March 2004 [doi>10.1023/B:FORM.0000017719.43755.7c]
	8	Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky. Formally specified monitoring of temporal properties. In Proc. ECRTS'99, pages 114--121, June 1999.
	9	Bjorn Knutsson, Honghui Lu, Wei Xu, and Bryan Hopkins. Peer-to-peer support for massively multiplayer games. In INFOCOM '04, Hong Kong, China, March 2004.
	10	Madanlal Musuvathi , David Y. W. Park , Andy Chou , Dawson R. Engler , David L. Dill, CMC: a pragmatic approach to model checking real code, Proceedings of the 5th symposium on Operating systems design and implementation Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading , December 09-11, 2002, Boston, Massachusetts [doi>10.1145/1060289.1060297]

CITED BY 5

	Kuan-Ta Chen , Jhih-Wei Jiang , Polly Huang , Hao-Hua Chu , Chin-Laung Lei , Wen-Chin Chen, Identifying MMORPG bots: a traffic analysis approach, Proceedings of the 2006 ACM SIGCHI international conference on Advances in computer entertainment technology, June 14-16, 2006, Hollywood, California
	Samphel Norden , Katherine Guo, Support for resilient Peer-to-Peer gaming, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.14, p.4212-4233, October, 2007
	Steven Daniel Webb , Sieteng Soh , William Lau, Enhanced mirrored servers for network games, Proceedings of the 6th ACM SIGCOMM workshop on Network and system support for games, p.117-122, September 19-20, 2007, Melbourne, Australia
	Luther Chan , James Yong , Jiaqiang Bai , Ben Leong , Raymond Tan, Hydra: a massively-multiplayer peer-to-peer architecture for the game developer, Proceedings of the 6th ACM SIGCOMM workshop on Network and system support for games, p.37-42, September 19-20, 2007, Melbourne, Australia
	Stefano Ferretti, Cheating detection through game time modeling: A better way to avoid time cheats in P2P MOGs?, Multimedia Tools and Applications, v.37 n.3, p.339-363, May 2008