Secure Information Flow as Typed (0)

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