Is runtime verification applicable to cheat detection?

Proceedings of the ACM SIGCOMM 2004 Workshops

Volumn , Issue , 2004, Pages 134-138

  Delap, Margaret ^a   Knutsson, Björn ^a   Lu, Honghui ^a   Sokolsky, Oleg ^a   Sammapun, Usa ^a   Lee, Insup ^a   Tsarouchis, Christos ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Cheat detection; Multiplayer game; Runtime verification

Indexed keywords

CHEAT DETECTION; GAME POLICIES; MULTIPLAYER GAME; RUNTIME VERIFICATION;

JAVA PROGRAMMING LANGUAGE; LARGE SCALE SYSTEMS; MARKETING; MATHEMATICAL MODELS; METADATA; PERSONAL COMPUTERS; REAL TIME SYSTEMS; SEMANTICS;

COMPUTER SOFTWARE;

EID: 11244251956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

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, and Dan Boneh. Terra: a virtual machine-based platform for trusted computing. In Proc. SOSP '03, October 2003.
6. Patrice Godefroid. Model checking for programming languages using Verisoft. In Symposium on Principles of Programming Languages, pages 174-186, 1997.
7. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-MaC: a run-time assurance approach for Java programs. Formal Methods in Systems Design, 24(2): 129-155, 2004.
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, and David Dill. CMC: A pragmatic approach to model checking real code. In Proc. OSDI '02, pages 75-88, December 2002.