Secure information flow as typed process behaviour. (2000)

by Kohei Honda, Vasco Vasconcelos, Nobuko Yoshida
Venue:In Proc. of the 9th European Symposium on Programming,