A New Type System for Secure Information Flow (2001)

by Geoffrey Smith
Venue:In CSFW14
Citations:57 - 3 self