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

by A Sabelfeld, D Sands
Venue:Programming Languages and Systems