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

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