Execution monitoring of security-critical programs in distributed systems: a specification-based approach (1997)

by C Ko, M Ruschitzka, K Levitt
Venue:In IEEE Symposium on Security and Privacy