| |
2023年第34卷第8期目录
本期目录 | | | 基于核外计算的Datalog引擎设计与实现 | | | 张奕裕，王归航，左志强，李宣东 | | | 出版日期: 2023-08-06 (18 页) | | | 2023,34(8):3587-3604 | | | [摘要](2134) [PDF 4.83 M](4201) | | | 可信执行环境访问控制建模与安全性分析 | | | 苗新亮，常瑞，潘少平，赵永望，蒋烈辉 | | | 出版日期: 2023-08-06 (22 页) | | | 2023,34(8):3637-3658 | | | [摘要](2546) [PDF 20.53 M](5166) | | | Streett自动机确定化工具 | | | 王文胜，田聪，段振华 | | | 出版日期: 2023-08-06 (15 页) | | | 2023,34(8):3659-3673 | | | [摘要](1854) [PDF 6.31 M](3957) | | | 基于非交互式Petri网的异步程序验证模型和方法 | | | 吴志文，李国强 | | | 出版日期: 2023-08-06 (12 页) | | | 2023,34(8):3674-3685 | | | [摘要](1805) [PDF 4.12 M](3785) | | | 基于函数式语义的循环和递归程序结构通用证明技术 | | | 李希萌，王国辉，张倩颖，施智平，关永 | | | 出版日期: 2023-08-06 (22 页) | | | 2023,34(8):3686-3707 | | | [摘要](1847) [PDF 6.47 M](3767) | | | 一个切换认证的5G鉴权协议及其形式化分析 | | | 刘逸冰，周刚 | | | 出版日期: 2023-08-06 (18 页) | | | 2023,34(8):3708-3725 | | | [摘要](2189) [PDF 3.51 M](5003) | | | 基于Petri网展开的多线程程序数据竞争检测与重演 | | | 鲁法明，黄莹，曾庆田，包云霞，唐梦凡 | | | 出版日期: 2023-08-06 (19 页) | | | 2023,34(8):3726-3744 | | | [摘要](1965) [PDF 8.80 M](3816) | | | 基于Capstone和流敏感混合执行的自动化反混淆技术 | | | 鲁辉，郭润生，金成杰，何陆潇涵，王兴伟，田志宏 | | | 出版日期: 2023-08-06 (12 页) | | | 2023,34(8):3745-3756 | | | [摘要](2145) [PDF 2.27 M](3772) | | | 反射剖面精确拟合的次表面散射计算方法 | | | 梁仕宇，高阳，丛宇，郝爱民 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3757-3773 | | | [摘要](1836) [PDF 7.38 M](3759) | | | 电动自行车轨迹简化与自适应地图匹配算法 | | | 王东京，刘继涛，俞东进 | | | 出版日期: 2023-08-06 (28 页) | | | 2023,34(8):3793-3820 | | | [摘要](2046) [PDF 7.54 M](4106) | | | 显式知识推理和深度强化学习结合的动态决策 | | | 张昊迪，陈振浩，陈俊扬，周熠，连德富，伍楷舜，林方真 | | | 出版日期: 2023-08-06 (15 页) | | | 2023,34(8):3821-3835 | | | [摘要](3426) [PDF 9.56 M](5893) | | | 基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策 | | | 陈洁娜，张铭茁，杜德慧，李博，聂基辉，任婧瑶 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3836-3852 | | | [摘要](3990) [PDF 12.09 M](5366) | | | 基于K Framework的向量化机器学习指令语义形式化 | | | 黄厚华，刘嘉祥，施晓牧 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3853-3869 | | | [摘要](2080) [PDF 6.07 M](4393) | | | 对一种白盒SM4方案的差分计算分析 | | | 原梓清，陈杰 | | | 出版日期: 2023-08-06 (14 页) | | | 2023,34(8):3891-3904 | | | [摘要](2039) [PDF 3.96 M](4266) | | | 基于流特征的数据中心非对称流负载均衡方法 | | | 陈中卿，李丹丹，闪德胜，钱叶魁，谢坤，黄小红，丛群 | | | 出版日期: 2023-08-06 (14 页) | | | 2023,34(8):3924-3937 | | | [摘要](1849) [PDF 10.73 M](4513) | |
专刊文章 综述文章
|
