DMCA

A Per Model of Secure Information Flow in Sequential Programs (1998)

by Andrei Sabelfeld , David Sands
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:107 - 20 self