Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach

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]

Authors

Calvin Ko

This author has not been identified. Look up 'Calvin Ko' in Google

Manfred Ruschitzka

This author has not been identified. Look up 'Manfred Ruschitzka' in Google

Karl N. Levitt

This author has not been identified. Look up 'Karl N. Levitt' in Google