Secure information flow as typed process behaviour /
Honda, Kohei.
Vasconcelos, Vasco.
Yoshida, Nobuko.
Queen Mary and Westfield College (University of London).Department of Computer Science.
[London] : Queen Mary and Westfield College, Department of Computer Science,
1999.
Caption title.