A theorem proving approach to analysis of secure information flow (2003)

by Ádám Darvas, R Hähnle, D Sands
Venue:In Proc. of Workshop on Issues in the Theory of Security