Calvin Ko, Manfred Ruschitzka, Karl N. Levitt. Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. In 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA. pages 175-187, IEEE Computer Society, 1997. [doi]
Abstract is missing.