Execution monitoring of security-critical programs in distributed systems: a specification-based approach | IEEE Conference Publication | IEEE Xplore