A uniform type structure for secure information flow. (2002)

by K Honda, N Yoshida
Venue:ACM TOPLAS