2022年第33卷第6期目录下载本期目录
面向安全关键内存管理系统分层验证方法李少峰，乔磊，杨孟飞，张锦坤，马智，刘洪标出版日期: 2022-6-6 (19 页)2022,33(6):2312-2330 [摘要(928)] [PDF(2309)2.04 M][HTML(1447)]基于混洗差分隐私的直方图发布方法张啸剑，徐雅鑫，夏庆荣出版日期: 2022-6-6 (16 页)2022,33(6):2348-2363 [摘要(1136)] [PDF(3235)1.57 M][HTML(1411)]
系统软件安全专题前言杨珉，张超，宋富，张源出版日期: 2022-6-6 (2 页)2022,33(6):1959-1960 [摘要(1250)] [PDF(2700)323.89 K][HTML(1932)]反例引导的C代码空间流模型检测方法于银菠，刘家佳，慕德俊出版日期: 2022-6-6 (18 页)2022,33(6):1961-1977 [摘要(1381)] [PDF(3569)1.90 M][HTML(2386)]TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞方浩然，郭帆，李航宇出版日期: 2022-6-6 (20 页)2022,33(6):1978-1995 [摘要(1830)] [PDF(3768)1.85 M][HTML(2896)]基于前馈神经网络的编译器测试用例生成方法徐浩然，王勇军，黄志坚，解培岱，范书珲出版日期: 2022-6-6 (17 页)2022,33(6):1996-2011 [摘要(1851)] [PDF(3800)1.69 M][HTML(2514)]面向SGX2代新型可信执行环境的内存优化系统李明煜，夏虞斌，陈海波出版日期: 2022-6-6 (18 页)2022,33(6):2012-2029 [摘要(1676)] [PDF(4224)1.76 M][HTML(3315)]基于深度学习的Linux内核引用计数字段识别方法谈心，杨悉瑜，曹家俊，张源出版日期: 2022-6-6 (18 页)2022,33(6):2030-2046 [摘要(1467)] [PDF(3503)1.60 M][HTML(2547)]基于Toast重复绘制机制的口令攻击技术凌振，杨彦，刘睿钊，张悦，贾康，杨明出版日期: 2022-6-6 (15 页)2022,33(6):2047-2060 [摘要(1313)] [PDF(3083)1.37 M][HTML(2569)]开源CC++静态软件缺陷检测工具实证研究李广威，袁挺，李炼出版日期: 2022-6-6 (23 页)2022,33(6):2061-2081 [摘要(2472)] [PDF(4811)1.97 M][HTML(3703)]面向缓解机制评估的自动化信息泄露方法杨松涛，陈凯翔，王准，张超出版日期: 2022-6-6 (14 页)2022,33(6):2082-2096 [摘要(1363)] [PDF(3482)1.47 M][HTML(2243)]一种采用对抗学习的跨项目缺陷预测方法邢颖，钱晓萌，管宇，章世豪，赵梦赐，林婉婷出版日期: 2022-6-6 (16 页)2022,33(6):2097-2112 [摘要(1949)] [PDF(4002)1.57 M][HTML(2662)]定理证明理论与应用专题前言曹钦翔，詹博华，赵永望出版日期: 2022-6-6 (2 页)2022,33(6):2113-2114 [摘要(811)] [PDF(3167)287.42 K][HTML(1895)]机械化验证一个高效的迭代数据流求解算法江南，汪吕蒙，张晓瞳，何炎祥出版日期: 2022-6-6 (13 页)2022,33(6):2115-2126 [摘要(845)] [PDF(2959)1.13 M][HTML(2288)]步进索引模型下的语义及其形式化郭昊，曹钦翔出版日期: 2022-6-6 (24 页)2022,33(6):2127-2149 [摘要(863)] [PDF(2840)2.02 M][HTML(2320)]多旋翼飞控推进子系统的Coq形式化验证石正璞，崔敏，谢果君，陈钢出版日期: 2022-6-6 (22 页)2022,33(6):2150-2171 [摘要(1040)] [PDF(2985)2.14 M][HTML(2196)]支持索引式的PPTL定理证明器的实现王小兵，寇蒙莎，李春奕，赵亮出版日期: 2022-6-6 (18 页)2022,33(6):2172-2188 [摘要(906)] [PDF(2852)1.74 M][HTML(2212)]基于精化的可信执行环境内存隔离机制验证靳翠珍，张倩颖，马雨薇，李希萌，王国辉，施智平，关永出版日期: 2022-6-6 (18 页)2022,33(6):2189-2207 [摘要(1358)] [PDF(3317)1.70 M][HTML(2686)]基于Coq的杨忠道定理形式化证明严升，郁文生，付尧顺出版日期: 2022-6-6 (15 页)2022,33(6):2208-2223 [摘要(1168)] [PDF(3257)1.58 M][HTML(2464)]基于Coq的矩阵代码生成技术麻莹莹，陈钢出版日期: 2022-6-6 (23 页)2022,33(6):2224-2245 [摘要(1006)] [PDF(3196)1.95 M][HTML(2311)]机器人碰撞检测方法形式化陈善言，关永，施智平，王国辉出版日期: 2022-6-6 (21 页)2022,33(6):2246-2263 [摘要(1057)] [PDF(3717)1.67 M][HTML(3175)]一种基于分离逻辑的块云存储系统验证工具张博闻，金钊，王捍贫，曹永知出版日期: 2022-6-6 (24 页)2022,33(6):2264-2287 [摘要(970)] [PDF(3039)2.23 M][HTML(2458)]
重复软件缺陷报告检测方法综述郑炜，王晓龙，陈翔，夏鑫，廖慧玲，刘程远，孙瑞阳出版日期: 2022-6-6 (26 页)2022,33(6):2288-2311 [摘要(2911)] [PDF(5648)2.19 M][HTML(3125)]
面向查询式实体解析的多属性数据索引技术孙琛琛，申德荣，肖迎元，李玉坤出版日期: 2022-6-6 (17 页)2022,33(6):2331-2347 [摘要(1633)] [PDF(2999)1.72 M][HTML(1659)]
