Eliminating Covert Flows with Minimum Typings† Dennis Volpano Geoffrey Smith Computer Science Department

First Page		Document Content
Date: 2009-09-17 08:52:58		Eliminating Covert Flows with Minimum Typings† Dennis Volpano Geoffrey Smith Computer Science Department Add to Reading List Source URL: users.cis.fiu.edu Download Document from Source Website File Size: 110,34 KB Share Document on Facebook