Verification of control flow based security properties (1999)

by T Jensen, D L Metayer, T Thorn
Venue:In 1999 IEEE Symposium on Security and Privacy