首页>
外国专利>
Execution of information flow for the RISC type assembly code in the case where the timing-related secret channel and multi-threaded exist
Execution of information flow for the RISC type assembly code in the case where the timing-related secret channel and multi-threaded exist
展开▼
机译:在存在与时间相关的秘密通道和多线程的情况下,执行RISC类型的汇编代码的信息流
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and apparatus is disclosed for performing information flow enforcement for assembly code. In one embodiment, the method comprises receiving assembly code having timing annotations with type information that enforce information flow with respect to one or more of timing-related covert and concurrent channels when statically checked as to whether the code is in violation of a security policy and performing verification with respect to information flow for the assembly code based on a security policy.
展开▼