Verification of control flow based security properties. In: (1999)

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