Secure information flow as typed process behaviour (2000)

by Kohei Honda, Vasco Vasconcelos, Nobuko Yoshida
Venue:In Programming Languages and Systems