2022年第33卷第6期目录
下载本期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
第11期
第12期
本期目录
面向安全关键内存管理系统分层验证方法
李少峰，乔磊，杨孟飞，张锦坤，马智，刘洪标
出版日期: 2022-6-6 (19
页
)
2022,33(6):2312-2330 [
摘要
(961)
] [
PDF
(2561)
2.04 M
][
HTML(1803)
]
基于混洗差分隐私的直方图发布方法
张啸剑，徐雅鑫，夏庆荣
出版日期: 2022-6-6 (16
页
)
2022,33(6):2348-2363 [
摘要
(1189)
] [
PDF
(3491)
1.57 M
][
HTML(1748)
]
专刊文章
系统软件安全专题前言
杨珉，张超，宋富，张源
出版日期: 2022-6-6 (2
页
)
2022,33(6):1959-1960 [
摘要
(1307)
] [
PDF
(3397)
323.89 K
][
HTML(2379)
]
反例引导的C代码空间流模型检测方法
于银菠，刘家佳，慕德俊
出版日期: 2022-6-6 (18
页
)
2022,33(6):1961-1977 [
摘要
(1434)
] [
PDF
(4466)
1.90 M
][
HTML(3003)
]
TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞
方浩然，郭帆，李航宇
出版日期: 2022-6-6 (20
页
)
2022,33(6):1978-1995 [
摘要
(1934)
] [
PDF
(4636)
1.85 M
][
HTML(3431)
]
基于前馈神经网络的编译器测试用例生成方法
徐浩然，王勇军，黄志坚，解培岱，范书珲
出版日期: 2022-6-6 (17
页
)
2022,33(6):1996-2011 [
摘要
(1962)
] [
PDF
(4719)
1.69 M
][
HTML(3075)
]
面向SGX2代新型可信执行环境的内存优化系统
李明煜，夏虞斌，陈海波
出版日期: 2022-6-6 (18
页
)
2022,33(6):2012-2029 [
摘要
(1756)
] [
PDF
(5095)
1.76 M
][
HTML(3923)
]
基于深度学习的Linux内核引用计数字段识别方法
谈心，杨悉瑜，曹家俊，张源
出版日期: 2022-6-6 (18
页
)
2022,33(6):2030-2046 [
摘要
(1529)
] [
PDF
(4364)
1.60 M
][
HTML(3169)
]
基于Toast重复绘制机制的口令攻击技术
凌振，杨彦，刘睿钊，张悦，贾康，杨明
出版日期: 2022-6-6 (15
页
)
2022,33(6):2047-2060 [
摘要
(1362)
] [
PDF
(3845)
1.37 M
][
HTML(3267)
]
开源CC++静态软件缺陷检测工具实证研究
李广威，袁挺，李炼
出版日期: 2022-6-6 (23
页
)
2022,33(6):2061-2081 [
摘要
(2615)
] [
PDF
(5775)
1.97 M
][
HTML(4291)
]
面向缓解机制评估的自动化信息泄露方法
杨松涛，陈凯翔，王准，张超
出版日期: 2022-6-6 (14
页
)
2022,33(6):2082-2096 [
摘要
(1467)
] [
PDF
(4305)
1.47 M
][
HTML(2802)
]
一种采用对抗学习的跨项目缺陷预测方法
邢颖，钱晓萌，管宇，章世豪，赵梦赐，林婉婷
出版日期: 2022-6-6 (16
页
)
2022,33(6):2097-2112 [
摘要
(2047)
] [
PDF
(4851)
1.57 M
][
HTML(3068)
]
定理证明理论与应用专题前言
曹钦翔，詹博华，赵永望
出版日期: 2022-6-6 (2
页
)
2022,33(6):2113-2114 [
摘要
(894)
] [
PDF
(4006)
287.42 K
][
HTML(2496)
]
机械化验证一个高效的迭代数据流求解算法
江南，汪吕蒙，张晓瞳，何炎祥
出版日期: 2022-6-6 (13
页
)
2022,33(6):2115-2126 [
摘要
(883)
] [
PDF
(3733)
1.13 M
][
HTML(2816)
]
步进索引模型下的语义及其形式化
郭昊，曹钦翔
出版日期: 2022-6-6 (24
页
)
2022,33(6):2127-2149 [
摘要
(900)
] [
PDF
(3735)
2.02 M
][
HTML(2969)
]
多旋翼飞控推进子系统的Coq形式化验证
石正璞，崔敏，谢果君，陈钢
出版日期: 2022-6-6 (22
页
)
2022,33(6):2150-2171 [
摘要
(1116)
] [
PDF
(3904)
2.14 M
][
HTML(2832)
]
支持索引式的PPTL定理证明器的实现
王小兵，寇蒙莎，李春奕，赵亮
出版日期: 2022-6-6 (18
页
)
2022,33(6):2172-2188 [
摘要
(959)
] [
PDF
(3665)
1.74 M
][
HTML(2756)
]
基于精化的可信执行环境内存隔离机制验证
靳翠珍，张倩颖，马雨薇，李希萌，王国辉，施智平，关永
出版日期: 2022-6-6 (18
页
)
2022,33(6):2189-2207 [
摘要
(1439)
] [
PDF
(4180)
1.70 M
][
HTML(3240)
]
基于Coq的杨忠道定理形式化证明
严升，郁文生，付尧顺
出版日期: 2022-6-6 (15
页
)
2022,33(6):2208-2223 [
摘要
(1242)
] [
PDF
(4149)
1.58 M
][
HTML(3092)
]
基于Coq的矩阵代码生成技术
麻莹莹，陈钢
出版日期: 2022-6-6 (23
页
)
2022,33(6):2224-2245 [
摘要
(1081)
] [
PDF
(4101)
1.95 M
][
HTML(2959)
]
机器人碰撞检测方法形式化
陈善言，关永，施智平，王国辉
出版日期: 2022-6-6 (21
页
)
2022,33(6):2246-2263 [
摘要
(1129)
] [
PDF
(4696)
1.67 M
][
HTML(3836)
]
一种基于分离逻辑的块云存储系统验证工具
张博闻，金钊，王捍贫，曹永知
出版日期: 2022-6-6 (24
页
)
2022,33(6):2264-2287 [
摘要
(1021)
] [
PDF
(3989)
2.23 M
][
HTML(3126)
]
综述文章
重复软件缺陷报告检测方法综述
郑炜，王晓龙，陈翔，夏鑫，廖慧玲，刘程远，孙瑞阳
出版日期: 2022-6-6 (26
页
)
2022,33(6):2288-2311 [
摘要
(2984)
] [
PDF
(6626)
2.19 M
][
HTML(4085)
]
本期目录
面向查询式实体解析的多属性数据索引技术
孙琛琛，申德荣，肖迎元，李玉坤
出版日期: 2022-6-6 (17
页
)
2022,33(6):2331-2347 [
摘要
(1676)
] [
PDF
(3237)
1.72 M
][
HTML(2101)
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫
