Veri of control based security properties (1999)

by T Jensen, D Le Metayer, T Thorn
Venue:In Proceedings of the IEEE Symposium on Security and Privacy