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

摘要

A kind of method and apparatus is disclosed, implements assembly code for execution information stream. In one embodiment, this method include receive the free annotation of assembly code and that implementation information stream of type information relative to it is one or more periodically it is relevant stealthily and whens concurrent channels statically check about whether code is in violation security strategy, and carry out checking assembly relative to the security strategy based on information flow.