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

by C Ko, M Ruschitzka, K Levitt
Venue:In SP ’97: Proceedings of the 1997 IEEE Symposium on Security and Privacy