Secure Information Flow as Typed (2000)

by K Vasconcelos Honda, V, N Yoshida
Venue:University of Leicester