|
1
|
基于Tamarin Prover的5G EAP-TLS协议的形式化分析 |
马壮壮
杜瑞颖
陈晶
何琨
|
《武汉大学学报（理学版）》
CAS
CSCD
北大核心
|
2023 |
1
|
|
|
2
|
可证明安全的基于位置的Prover-to-Prover密钥交换协议 |
张俊伟
陈治平
马建峰
杨力
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2016 |
1
|
|
|
3
|
基于Isabelle的算法程序建模与验证的应用研究 |
黄志鹏
陈小强
王鸿
|
《工业控制计算机》
|
2026 |
0 |
|
|
4
|
动态顺序统计树类结构的函数式建模及其自动化验证 |
左正康
刘增鑫
柯雨含
游珍
王昌晶
|
《软件学报》
北大核心
|
2025 |
1
|
|
|
5
|
生物序列比对动态规划算法的统一形式化构造与Isabelle验证 |
石海鹤
蓝孙文
刘日明
石海鹏
王岚
钟林辉
|
《计算机研究与发展》
北大核心
|
2025 |
0 |
|
|
6
|
IntervalTree+结构的函数式建模、机械化验证及其应用 |
左正康
张晗庆
王昌晶
游珍
|
《电子学报》
北大核心
|
2025 |
0 |
|
|
7
|
面向微小气体流量的临界流喷嘴校准方法实验研究 |
祝晓轶
高山
曹鹏
崔骊水
|
《中国测试》
北大核心
|
2025 |
0 |
|
|
8
|
基于子句综合权重的多元动态演绎算法及应用 |
曹锋
徐梓伟
易见兵
李俊
|
《武汉大学学报(理学版)》
北大核心
|
2025 |
0 |
|
|
9
|
Splay^(+)树算法的函数式建模及其自动化验证 |
刘增鑫
柯雨含
左正康
|
《江西师范大学学报(自然科学版)》
北大核心
|
2025 |
0 |
|
|
10
|
一阶逻辑定理证明器CSE中矛盾体分离式的简化方法 |
吴鑫
陈树伟
姜世攀
|
《计算机科学》
北大核心
|
2025 |
0 |
|
|
11
|
钟罩式气体流量标准装置不确定度分析 |
王池
王东伟
徐英华
|
《计量学报》
EI
CSCD
北大核心
|
2001 |
8
|
|
|
12
|
钟罩式气体流量标准装置内部容积的测量方法 |
刘夷平
宋进
许尧
全晓军
|
《计量学报》
CSCD
北大核心
|
2016 |
7
|
|
|
13
|
超声波流量计用于原油大流量贸易计量的方案论证 |
王飞
吴朝晖
刘文龙
王煜
|
《化工自动化及仪表》
CAS
北大核心
|
2010 |
6
|
|
|
14
|
基于体积管标准装置的小流量临界流文丘里喷嘴检定方法研究 |
尹保来
杨修杰
雷励
潘光玲
|
《电子测量与仪器学报》
CSCD
|
2012 |
7
|
|
|
15
|
对一类多级安全模型安全性的形式化分析 |
何建波
卿斯汉
王超
|
《计算机学报》
EI
CSCD
北大核心
|
2006 |
10
|
|
|
16
|
可由用户持续发展的几何自动推理平台的推理算法 |
郑焕
张景中
|
《计算机应用》
CSCD
北大核心
|
2011 |
8
|
|
|
17
|
程序求精新策略及自动验证方法研究 |
左正康
黄志鹏
黄箐
王渊
王昌晶
|
《郑州大学学报（理学版）》
CAS
北大核心
|
2022 |
4
|
|
|
18
|
气体流量标准装置钟罩外径测量方法的研究 |
王池
崔骊水
|
《计量学报》
EI
CSCD
北大核心
|
2007 |
8
|
|
|
19
|
断言语言支持自定义谓词的程序验证器原型 |
徐文义
陈意云
李兆鹏
|
《小型微型计算机系统》
CSCD
北大核心
|
2013 |
3
|
|
|
20
|
安全协议的形式化需求及验证 |
刘怡文
李伟琴
|
《计算机工程与应用》
CSCD
北大核心
|
2002 |
4
|
|
