-
刘帅南1，刘彬1，郭真1，冯朝胜1,2，秦志光2，卿昱3（四川师范大学计算机科学学院；网络与数据安全四川省重点实验室(电子科技大学)；中国电子科技集团公司第三十研究所）.一种支持分级用户访问的文件分层CP-ABE方案[J].软件学报,2023,第7期
-
陈熙1，乔磊1，杨孟飞2，刘洪标1,3（北京控制工程研究所；中国空间技术研究院；西安电子科技大学计算机科学与技术学院）.基于避让阻塞的优先级天花板协议[J].软件学报,2023,第7期
-
夏春艳1,2，黄松1，郑长友1，张清睿1，王宇1，魏瑀皓1（中国人民解放军陆军工程大学指挥控制工程学院；牡丹江师范学院计算机与信息技术学院）.自动驾驶交叉路口测试场景建模及验证方法[J].软件学报,2023,第7期
-
马春燕1，吕炳旭1，叶许姣1，张雨2（西北工业大学软件学院；海南大学计算机科学与技术学院）.基于LLVM Pass的复杂嵌套循环自动并行化框架[J].软件学报,2023,第7期
-
苏杰1,2，杨祖超1,2，田聪1,2，段振华1,2（西安电子科技大学计算机理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.基于约束依赖图的并发程序模型检测工具[J].软件学报,2023,第7期
-
李腾飞1,2，孙军峰1，吕新军1，陈祥1，刘静2，孙海英2，何积丰2（卡斯柯信号有限公司；华东师范大学软件工程学院）.基于SMT的区域控制器同步反应式模型的形式化验证[J].软件学报,2023,第7期
-
黄梓程，陈鹏飞，余广坝，陈泓仰（中山大学计算机学院）.面向Java微服务系统的透明请求追踪及采样方法[J].软件学报,2023,第7期
-
谷勇浩1,2,3，王翼翡1,2，刘威歆4，吴铁军4，孟国柱5,6（智能通信软件与多媒体北京市重点实验室(北京邮电大学)；北京邮电大学计算机学院；广东省信息安全技术重点实验室(中山大学)；绿盟科技集团股份有限公司；信息安全国家重点实验室(中国科学院信息工程研究所)；中国科学院大学网络空间安全学院）.基于多重异质图的恶意软件相似性度量方法[J].软件学报,2023,第7期
-
杨帅1,2，王浩1,2，俞奎1,2，曹付元3（大数据知识工程教育部重点实验室(合肥工业大学)；合肥工业大学计算机与信息学院；山西大学计算机与信息技术学院）.基于实例加权和双分类器的稳定学习算法[J].软件学报,2023,第7期
-
潘雁，祝跃飞（数学工程与先进计算国家重点实验室(信息工程大学)）.主动自动机学习中的等价查询算法优化[J].软件学报,2023,第7期
-
陆旭1,2，于斌1,2，段振华1,2，王德奎3，陈矗4，崔进5（西安电子科技大学计算机科学与技术学院；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)；西北大学信息科学与技术学院；曲阜师范大学计算机学院；西安石油大学计算机学院）.智能规划中面向简单偏好的高效求解方法[J].软件学报,2023,第7期
-
李顺东1，张凯鑫1，杨晨1，汪榆淋2（陕西师范大学计算机科学学院；陕西师范大学数学与统计学院）.集合交集元素之和的保密计算[J].软件学报,2023,第7期
-
叶文滔1，张敏2，陈仪香3（华东师范大学软件工程学院；上海市高可信计算重点实验室；教育部软硬件协同设计技术与应用工程研究中心）.基于义原级语句稀释法的文本对抗攻击能力强化方法[J].软件学报,2023,第7期
-
王永欣1,2，田洁茹2，陈振铎2，罗昕2，许信顺2（山东建筑大学计算机科学与技术学院；山东大学软件学院）.基于标记增强的离散跨模态哈希方法[J].软件学报,2023,第7期
-
闫昊1,2，刘芳芳1,3，马文静1,3，陈道琨1,2（中国科学院软件研究所并行软件与计算科学实验室；中国科学院大学；计算机科学国家重点实验室(中国科学院软件研究所)）.申威1621处理器上矩阵乘法优化研究[J].软件学报,2023,第7期
-
鲁法明1，唐梦凡1，包云霞2，曾庆田1，李彦成3（山东科技大学计算机科学与工程学院；山东科技大学数学与系统科学学院；百度在线网络技术(北京)有限公司）.目标导向的多线程程序UAF漏洞预测方法[J].软件学报,2023,第7期
-
杜一德1，洪伟疆1,2，陈振邦1，王戟1,2（国防科技大学计算机学院；高性能计算国家重点实验室(国防科技大学)）.面向未解释程序的合作验证方法[J].软件学报,2023,第7期
-
董云卫1，刘关俊2，毛晓光3（西北工业大学计算机学院；同济大学计算机科学系；国防科技大学计算机学院）.形式化方法与应用专题前言[J].软件学报,2023,第7期
-
顾育豪，白跃彬（北京航空航天大学计算机学院）.联邦学习模型安全与隐私研究进展[J].软件学报,2023,第6期
-
胡雨涛1,2,3，王溯远1,2,3，吴月明1,2,3，邹德清1,2,3，李文科2,3，金海1,4（大数据技术与系统国家地方联合工程研究中心(服务计算技术与系统教育部重点实验室华中科技大学)；分布式系统安全湖北省重点实验室；华中科技大学网络空间安全学院；华中科技大学计算机科学与技术学院）.基于图神经网络的切片级漏洞检测及解释方法[J].软件学报,2023,第6期
-
王迪，潘金山，唐金辉（南京理工大学计算机科学与工程学院）.基于自监督约束的双尺度真实图像盲去噪算法[J].软件学报,2023,第6期
-
吴月明1,2,3，齐蒙1,2,3，邹德清1,2,3，金海1,4（大数据技术与系统国家地方联合工程研究中心(服务计算技术与系统教育部重点实验室华中科技大学)；分布式系统安全湖北省重点实验室；华中科技大学网络空间安全学院；华中科技大学计算机科学与技术学院）.图卷积网络的抗混淆安卓恶意软件检测[J].软件学报,2023,第6期
-
郭琪周1，袁春2,3（清华大学计算机科学与技术系；清华大学深圳国际研究生院；鹏城实验室）.基于空间语义信息特征融合的目标检测与分割[J].软件学报,2023,第6期
-
韩士元1，何清1，于自强2，童向荣2，郑渤龙3（济南大学信息科学与工程学院；烟台大学计算机与控制工程学院；华中科技大学计算机科学与技术学院）.面向移动对象连续k近邻查询的双层索引结构[J].软件学报,2023,第6期
-
原鹏翼1,2，王淼2，王凌豪1,2，张玉军1,2，周继华3（中国科学院大学；中国科学院计算技术研究所；金美通信）.SDN中基于图分割的自适应带内网络遥测探测路径配置[J].软件学报,2023,第6期
-
王文海，李志琦，路通（计算机软件新技术国家重点实验室(南京大学)）.基于网格切分的单阶段实例分割方法[J].软件学报,2023,第6期
-
严都力1,2，禹勇1,2，李艳楠3，李慧琳1，赵艳琦1，田爱奎4（陕西师范大学计算机科学学院；密码科学技术国家重点实验室；School of Computer and Information Technology，University of Wollongong；山东理工大学计算机科学与技术学院）.ECDSA签名方案的颠覆攻击与改进[J].软件学报,2023,第6期
-
王立敏1,2，卜磊1,2,3，马乐之1,2，于笑丰4，沈宁国5（计算机软件新技术国家重点实验室(南京大学)；南京大学计算机科学与技术系；南京大学软件学院；南京大学商学院；华为技术有限公司）.基于指标依赖模型构建与监控的攻击检测方法[J].软件学报,2023,第6期
-
刘鹏举1,2，李好洋1,2，王天一1,2，刘欢1,2，孙路明1,2，任逸飞3，李翠平1,2，陈红1,2（数据工程与知识工程教育部重点实验室(中国人民大学)；中国人民大学信息学院；华为云数据库创新Lab）.基于谱聚类的在线数据库垂直分区多阶段生成方法[J].软件学报,2023,第6期
|