A uniform type structure for secure information flow (2002)

by K Honda, N Yoshida
Venue:In Proceedings of P : (OP : (L’02