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

by Calvin Ko
Venue:In Proceedings of the 1997 IEEE Symposium on Security and Privacy
Citations:173 - 3 self