A Uniform Type Structure for Secure Information Flow (Extended Abstract) (2002)

by Kohei Honda , Nobuko Yoshida
Citations:91 - 12 self