BibTeX
@MISC{S054,
author = {Jonas Rabbe S},
title = {4},
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
Keyphrases
decentralized label model language gwhile classic game battleship type matching communication analysis programming language client-server structure information flow secure communication gwhile language type system security annotation simple analysis communication statement networked computer game information exposure
