Secure information flow as typed process behaviour (2000)

by K Honda, V T Vasconcelos, N Yoshida
Venue:Proceedings of ESOP 2000, volume 1782 of LNCS