Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.

Tim McComb, Luke Wildman

Browse the full ICFEM paper archive.