Sciweavers

FCT
2005
Springer

A Type System for Computationally Secure Information Flow

14 years 5 months ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FCT
Authors Peeter Laud, Varmo Vene
Comments (0)