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

by A Sabelfeld, D Sands
Venue:In ESOP’99, number 1576 in Lecture Notes in Computer Science