Return to Article Details Real-Time Verification of Integrity Policies for Distributed Systems Download Download PDF