Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments

Authors:
Somesh Jha;Stefan Katzenbeisser;Christian Schallhart;Helmut Veith;Stephen Chenney
Affiliations:
University of Wisconsin;Technische Universität München;Technische Universität München;Technische Universität München;Emergent Game Technology
Venue:
SP '07 Proceedings of the 2007 IEEE Symposium on Security and Privacy
Year:
2007

Citing 0
Cited 4

Ripley: automatically securing web 2.0 applications through replicated execution

Proceedings of the 16th ACM conference on Computer and communications security
Semantic integrity in large-scale online simulations

ACM Transactions on Internet Technology (TOIT)
A formal implementation of value commitment

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Server-side verification of client behavior in online games

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the computer gaming industry, large-scale simulations of realistic physical environments over the Internet have at- tained increasing importance. Networked virtual environ- ments (NVES) are typically based on a client-server archi- tecture where part of the simulation workload is delegated to the clients. This architecture renders the simulation vul- nerable to attacks against the semantic integrity of the sim- ulation: malicious clients may attempt to compromise the physical and logical rules governing the simulation, or to alter the causality of events. This paper initiates the sys- tematic study of semantic integrity in NVES from a security point of view. We present a new provably secure semantic integrity protocol which enables the server system to audit the local computations of the clients on demand.