标题 | 作者 | 年卷期:起止页码 | 复制 |
完备神经网络验证加速技术综述
|
刘宗鑫,杨鹏飞,张立军,吴志林,黄小炜
|
2024,35(9):0-0
|
|
舰载机弹药保障作业调度的形式化建模与验证
|
金钊,金璐,张博闻,吴庆顺,冯朔,李冠峰,徐明亮
|
2024,35(9):0-0
|
|
并发对象强可线性化性质的检测和验证研究
|
王超,贾巧雯,吕毅,吴鹏
|
2024,35(9):0-0
|
|
基于DH标定的机器人正向运动学形式化验证
|
谢果君,杨焕焕,石正璞,陈钢
|
2024,35(9):0-0
|
|
基于形式化方法的区块链系统漏洞检测模型
|
陈锦富,冯乔伟,蔡赛华,施登洲,Rexford Nii Ayitey Sosu
|
2024,35(9):0-0
|
|
命令式动态规划类算法程序推导及机械化验证
|
左正康,孙欢,王昌晶,游珍,黄箐,王唱唱
|
2024,35(9):0-0
|
|
Trie+结构函数式建模、机械化验证及其应用
|
左正康,柯雨含,黄箐,王玥坤,曾志城,王昌晶
|
2024,35(9):0-0
|
|
基于MTRDL的自动飞行系统模式需求建模与验证方法[1]
|
徐恒,黄志球,胡军,陶传奇,王金永,石帆
|
2024,35(9):0-0
|
|
基于AADL的混合关键系统随机错误与突发错误安全性分析
|
魏晓敏,董云卫,孙聪,李兴华,马建峰
|
2024,35(9):0-0
|
|
基于交互式定理证明的并发程序验证工作综述
|
王中烨,吴姝姝,曹钦翔
|
2024,35(9):0-0
|
|
Büchi自动机确定化分析工具
|
马润哲,田聪,王文胜,段振华
|
2024,35(9):0-0
|
|
关于安全案例论证构建的综述
|
陈泽众,邓玉欣
|
2024,35(9):1-25
|
|
微内核操作系统互斥量模块功能正确性的形式化验证
|
张林雁,李希萌,施智平,关永,曹钦翔,张倩颖
|
2024,35(9):1-14
|
|
基于TEE和SE的移动平台双离线匿名支付方案
|
杨波,冯伟,秦宇,张彦超,佟冬
|
2024,35(8):0-0
|
|
UEFI固件的启发式逆向分析与模糊测试方法
|
林欣康,顾匡愚,赵磊
|
2024,35(8):0-0
|
|
一种利用动态分析的嵌入式应用托管方案
|
吴华茂,姜木慧,周亚金,李金库
|
2024,35(8):0-0
|
|
基于多元数据融合的网络侧告警排序方法
|
王维靖,陈俊洁,杨林,侯德俊,王星凯,吴复迪,张润滋,王赞
|
2024,35(8):0-0
|
|
基于双分支特征提取和自适应胶囊网络的DGA域名检测方法
|
杨宏宇,章涛,张良,成翔,胡泽
|
2024,35(8):0-0
|
|
面向漏洞检测模型的强化学习式对抗攻击方法
|
陈思然,吴敬征,凌祥,罗天悦,刘镓煜,武延军
|
2024,35(8):0-0
|
|
移动应用隐私权声明内容合规性检验方法
|
王寅,范铭,陶俊杰,雷靖薏,晋武侠,韩德强,刘烃
|
2024,35(8):0-0
|
|
|