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