Veri of control based security policies (1999)

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