"Secure Information Flow as Typed Process Behaviour."

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics