Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.

Tim McComb Luke Wildman Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. 621-638 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_34 db/conf/icfem/icfem2006.html#McCombW06