基于符号执行的缓存侧信道漏洞检测方法 来源 计算机技术与发展 DOI 10.20165/j.cnki.ISSN1673-629X.2025.0291 下载 PDF 作者 高菲 马自强 李扬 张娟洋 单位 宁夏大学信息工程学院;宁夏“东数西算”人工智能与信息安全重点实验室;宁夏大数据与人工智能省部共建协同创新中心; 模拟退火算法 漏洞检测 符号执行 系统安全 缓存侧信道 遗传算法