Fault-Tolerant Non-interference - Del Tedesco, Filippo; Russo, Alejandro; Sands, David (Engineering Secure Software and Systems, 2014)
Keywords: Assembly Program; Fault Tolerance; Label Transition System; Non-interference; Secret Data; security; Security Property; transient faults