Beta 1


Title Preventing Illicit Information Flow in Networked Computer Games using Security Annotations
Author Rabbe, Jonas
Supervisor Nielson, Flemming (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2005
Abstract In networked computer games using a client-server structure, bugs that result in information exposure can be used to cheat. A programming language allowing the specification of security annotations can be designed specifically for the domain of a given game. Using the classic game Battleships as an example, a language gWhile has been designed which allows annotations following the Decentralized Label Model. The gWhile language includes communication and cryptography for secure communications, as well as other primitives specific to Battleships. A type system has been designed to verify the information flow of programs in gWhile with respect to the Decentralized Label Model. A simple analysis has also been designed, the Type Matching Communications Analysis, which attempts to match communication statements in a program.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords security; language design; information flow controls; the Decentralized Label Model; declassification; complete lattice; type system
Fulltext
Derived PDF imm3626.pdf (0.60 MB)
Original Postscript imm3626.ps (0.91 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-19    Source: dtu    ID: 185868    Original MXD