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

Calvin Ko, Manfred Ruschitzka, Karl N. Levitt

Browse the full SP paper archive.