Secure information flow and program logics (0)

by L Beringer, M Hofmann
Venue:CSF