| |
2022年第33卷第6期目录
本期目录 专刊文章 | | | 系统软件安全专题前言 | | | 杨珉，张超，宋富，张源 | | | 出版日期: 2022-6-6 (2 页) | | | 2022,33(6):1959-1960 | | | [摘要](2005) [PDF 323.89 K](4296) | | | 反例引导的C代码空间流模型检测方法 | | | 于银菠，刘家佳，慕德俊 | | | 出版日期: 2022-6-6 (18 页) | | | 2022,33(6):1961-1977 | | | [摘要](2145) [PDF 1.90 M](5536) | | | TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞 | | | 方浩然，郭帆，李航宇 | | | 出版日期: 2022-6-6 (20 页) | | | 2022,33(6):1978-1995 | | | [摘要](2715) [PDF 1.85 M](6016) | | | 基于前馈神经网络的编译器测试用例生成方法 | | | 徐浩然，王勇军，黄志坚，解培岱，范书珲 | | | 出版日期: 2022-6-6 (17 页) | | | 2022,33(6):1996-2011 | | | [摘要](2810) [PDF 1.69 M](5959) | | | 面向SGX2代新型可信执行环境的内存优化系统 | | | 李明煜，夏虞斌，陈海波 | | | 出版日期: 2022-6-6 (18 页) | | | 2022,33(6):2012-2029 | | | [摘要](2516) [PDF 1.76 M](6281) | | | 基于深度学习的Linux内核引用计数字段识别方法 | | | 谈心，杨悉瑜，曹家俊，张源 | | | 出版日期: 2022-6-6 (18 页) | | | 2022,33(6):2030-2046 | | | [摘要](2295) [PDF 1.60 M](5414) | | | 基于Toast重复绘制机制的口令攻击技术 | | | 凌振，杨彦，刘睿钊，张悦，贾康，杨明 | | | 出版日期: 2022-6-6 (15 页) | | | 2022,33(6):2047-2060 | | | [摘要](2138) [PDF 1.37 M](5076) | | | 开源CC++静态软件缺陷检测工具实证研究 | | | 李广威，袁挺，李炼 | | | 出版日期: 2022-6-6 (23 页) | | | 2022,33(6):2061-2081 | | | [摘要](3527) [PDF 1.97 M](7041) | | | 面向缓解机制评估的自动化信息泄露方法 | | | 杨松涛，陈凯翔，王准，张超 | | | 出版日期: 2022-6-6 (14 页) | | | 2022,33(6):2082-2096 | | | [摘要](2289) [PDF 1.47 M](5422) | | | 一种采用对抗学习的跨项目缺陷预测方法 | | | 邢颖，钱晓萌，管宇，章世豪，赵梦赐，林婉婷 | | | 出版日期: 2022-6-6 (16 页) | | | 2022,33(6):2097-2112 | | | [摘要](2849) [PDF 1.57 M](6087) | | | 定理证明理论与应用专题前言 | | | 曹钦翔，詹博华，赵永望 | | | 出版日期: 2022-6-6 (2 页) | | | 2022,33(6):2113-2114 | | | [摘要](1639) [PDF 287.42 K](5039) | | | 机械化验证一个高效的迭代数据流求解算法 | | | 江南，汪吕蒙，张晓瞳，何炎祥 | | | 出版日期: 2022-6-6 (13 页) | | | 2022,33(6):2115-2126 | | | [摘要](1594) [PDF 1.13 M](4692) | | | 步进索引模型下的语义及其形式化 | | | 郭昊，曹钦翔 | | | 出版日期: 2022-6-6 (24 页) | | | 2022,33(6):2127-2149 | | | [摘要](1495) [PDF 2.02 M](4723) | | | 多旋翼飞控推进子系统的Coq形式化验证 | | | 石正璞，崔敏，谢果君，陈钢 | | | 出版日期: 2022-6-6 (22 页) | | | 2022,33(6):2150-2171 | | | [摘要](2124) [PDF 2.14 M](5108) | | | 支持索引式的PPTL定理证明器的实现 | | | 王小兵，寇蒙莎，李春奕，赵亮 | | | 出版日期: 2022-6-6 (18 页) | | | 2022,33(6):2172-2188 | | | [摘要](1653) [PDF 1.74 M](4870) | | | 基于精化的可信执行环境内存隔离机制验证 | | | 靳翠珍，张倩颖，马雨薇，李希萌，王国辉，施智平，关永 | | | 出版日期: 2022-6-6 (18 页) | | | 2022,33(6):2189-2207 | | | [摘要](2439) [PDF 1.70 M](5328) | | | 基于Coq的杨忠道定理形式化证明 | | | 严升，郁文生，付尧顺 | | | 出版日期: 2022-6-6 (15 页) | | | 2022,33(6):2208-2223 | | | [摘要](2164) [PDF 1.58 M](5411) | | | 基于Coq的矩阵代码生成技术 | | | 麻莹莹，陈钢 | | | 出版日期: 2022-6-6 (23 页) | | | 2022,33(6):2224-2245 | | | [摘要](1739) [PDF 1.95 M](5213) | | | 机器人碰撞检测方法形式化 | | | 陈善言，关永，施智平，王国辉 | | | 出版日期: 2022-6-6 (21 页) | | | 2022,33(6):2246-2263 | | | [摘要](1795) [PDF 1.67 M](5974) | | | 一种基于分离逻辑的块云存储系统验证工具 | | | 张博闻，金钊，王捍贫，曹永知 | | | 出版日期: 2022-6-6 (24 页) | | | 2022,33(6):2264-2287 | | | [摘要](1757) [PDF 2.23 M](5071) | |
综述文章 本期目录
|
