INFORMATION FLOW ENFORCEMENT FOR RISC-STYLE ASSEMBLY CODE IN THE PRESENCE OF TIMING-RELATED COVERT CHANNELS AND MULTI-THREADING

摘要

Method for performing information flow enforcement for assembly code and is the device disclosed. In one embodiment, the method assembly code that violates the security policy when checking statically as to whether the timing-related covert channels and simultaneously a timing annotations with type information that enforce information flow relating to one or more of the channel with the security policy based on the stage and for receiving the assembly code and a step of performing a verification of information flow for the assembly code. ; Security Policy, assembly, annotation, covert channels