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

by Kohei Honda , Nobuko Yoshida
Citations:75 - 11 self