Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specication-based Approach (1997)

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