View of Verification of Information Flow Properties under Rational Observation

Return to Article Details Verification of Information Flow Properties under Rational Observation Download Download PDF