A Uniform Type Structure for Secure Information Flow (2002)

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