A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA - Type system - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2009-09-17 09:07:51 Open Document File Size: 124,99 KB Share Result on Facebook

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