M.: Secure information flow and program logics (2007)

by L Beringer, Hofmann
Venue:In: CSF, IEEE Computer Society