Is runtime verification applicable to cheat detection? Export

@inproceedings{delap:cheats, 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.}, address = {New York, NY, USA}, author = {DeLap, Margaret and Knutsson, Bj\"{o}rn and Lu, Honghui and Sokolsky, Oleg and Sammapun, Usa and Lee, Insup and Tsarouchis, Christos}, booktitle = {NetGames '04: Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games}, citeulike-article-id = {1953595}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1016553}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1016540.1016553}, doi = {10.1145/1016540.1016553}, isbn = {1-58113-942-X}, keywords = {bug, games, rules, software\_engineering}, location = {Portland, Oregon, USA}, pages = {134--138}, posted-at = {2009-10-26 07:30:19}, priority = {2}, publisher = {ACM}, title = {Is runtime verification applicable to cheat detection?}, url = {http://dx.doi.org/10.1145/1016540.1016553}, year = {2004} }

TY - CONF ID - delap:cheats L3 - citeulike-article-id:1953595 N2 - 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. CY - Portland, Oregon, USA SN - 1-58113-942-X AD - New York, NY, USA EP - 138 TI - Is runtime verification applicable to cheat detection? PB - ACM T2 - NetGames '04: Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games SP - 134 KW - bug KW - games KW - rules KW - software_engineering AU - DeLap, Margaret AU - Knutsson, Björn AU - Lu, Honghui AU - Sokolsky, Oleg AU - Sammapun, Usa AU - Lee, Insup AU - Tsarouchis, Christos PY - 2004/// UR - http://dx.doi.org/10.1145/1016540.1016553 ER -