检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:赵旭 王佳慧 张伟[1] 马利民 Zhao Xu;Wang Jiahui;Zhang Wei;Ma Limin(School of Computer,Beijing Information Science&Technology University,Beijing 100101;State Information Center Information and Network Security Department,Beijing 100045)
机构地区:[1]北京信息科技大学计算机学院,北京100101 [2]国家信息中心信息与网络安全部,北京100045
出 处:《信息安全研究》2023年第4期347-355,共9页Journal of Information Security Research
基 金:国家重点研发计划项目(2020YFC1522702)。
摘 要:随着spectre,meltdown为代表的处理器微架构漏洞的发现,微架构安全漏洞逐渐引起了学术界的关注,针对相关微架构漏洞的自动化测试方案陆续出台.但是在真实的测试环境中,测试微架构环境会被中断或被调度系统打断干扰,造成有效测试用例的遗漏.因此提出面向乱序执行漏洞测试的ARM处理器核隔离方法.该方法通过利用ARM处理器与Linux内核对中断及调度的管理机制及相应的进程同步机制,在测试过程中将处理器核隔离出中断与调度系统,保证测试指令块的运行不会被中断及调度程序打断,并通过设计相应的同步机制保证进程切换过程中不会被其他进程插入执行,保证测试的有效性.With the discovery of processor microarchitecture vulnerabilities represented by spectre and meltdown,microarchitecture security vulnerabilities have gradually attracted the attention of academia,and automatic testing schemes for related microarchitecture vulnerabilities have also been proposed.However,in the real test environment,the test microarchitecture environment will be interrupted and disturbed by the scheduling system,resulting in the omission of effective test cases.Therefore,this paper proposes an arm processor core isolation method for out-of-order execution test.By using the management mechanism of interrupt and scheduling between ARM processor and Linux kernel and designing the corresponding process synchronization mechanism,this method can isolate the processor core from the interrupt and scheduling system during the test process,so as to ensure that the operation of test instruction block will not be interrupted by interrupt and scheduling program.The corresponding synchronization mechanism is designed to ensure that the process switching process will not be inserted and executed by other processes,so as to ensure the effectiveness of the test.
关 键 词:瞬态执行 乱序执行漏洞测试 中断 内核调度器 LINUX内核
分 类 号:TP309.2[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.91