17th Annual Computer Security Applications Conference
December 10-14, 2001
New Orleans, Louisiana

Classic paper: An Information Flow Tool for Gypsy

John McHugh

In 1985, we outlined an information flow tool for the Gypsy language that could be used to support covert channel analysis. The proposed tool offered substantial advantages over existing tools in flexibility and promised to be useful for a variety of analyses. Two versions of the tool were subsequently built and used for a variety of MLS and other projects. This paper draws on the original, adding motivational and explanatory material and adds descriptions of the subsequent tools. It also illustrates a novel use of one of the tools in developing an architecture for a MLS windowing system.

Keywords: Information flow, covert channels, MLS systems Gypsy, GVE

Read Paper Read Paper (in PDF)