Veri of control based security properties (1999)

by T Jensen, D Le Metayer, T Thorn
Venue:In Proc. of the IEEE Symp. on Security and Privacy