Secure Information Flow as Typed Process Behaviour.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Browse the full ESOP paper archive.