A PER model of secure information flow in sequential programs (1999)

by A Sabelfeld, D Sands
Venue:In European Symposium on Programming, volume 1576 of LNCS