A Uniform Type Structure for Secure Information Flow (2002)

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