A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA

First Page		Document Content
Date: 2009-09-17 09:07:51		A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA Add to Reading List Source URL: users.cis.fiu.edu Download Document from Source Website File Size: 124,99 KB Share Document on Facebook