1
|
重写对策在基于HOL的形式化证明中的应用 |
张杰
毛丹雯
关永
施智平
|
《计算机工程与设计》
CSCD
北大核心
|
2013 |
1
|
|
2
|
基于Coq的杨忠道定理形式化证明 |
严升
郁文生
付尧顺
|
《软件学报》
EI
CSCD
北大核心
|
2022 |
1
|
|
3
|
面向形式化证明的命令生成技术 |
莫广帅
熊焰
黄文超
|
《计算机系统应用》
|
2022 |
0 |
|
4
|
图搜索问题算法推导及形式化证明 |
刘晓丹
胡颖
左正康
|
《江西师范大学学报(自然科学版)》
CAS
北大核心
|
2021 |
0 |
|
5
|
作为数学革命的形式化证明 |
杨帆
|
《自然辩证法研究》
北大核心
|
2024 |
0 |
|
6
|
高可靠性温室环境测控系统架构形式化建模与特性证明 |
袁凌
李国徽
张晓芳
|
《小型微型计算机系统》
CSCD
北大核心
|
2012 |
0 |
|
7
|
具有冲突约束的RBAC模型的形式化规范与证明 |
袁春阳
贺也平
何建波
周洲仪
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2006 |
2
|
|
8
|
分布实时系统的概率规范和证明形式化 |
罗铁庚
陈火旺
齐治昌
|
《计算机科学》
CSCD
北大核心
|
1995 |
0 |
|
9
|
基于PVS的飞机订票系统的形式化描述与验证 |
杨红丽
刘建元
韩俊刚
|
《西安邮电学院学报》
|
2001 |
1
|
|
10
|
Xen混合多策略模型的设计与形式化验证 |
祝现威
朱智强
孙磊
|
《计算机科学》
CSCD
北大核心
|
2017 |
0 |
|
11
|
面向无线传感器网络的认证密钥协商机制 |
李贵勇
张航
韩才君
李欣超
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
0 |
|
12
|
面向HDFS的可证明安全的单点登录协议 |
王绍人
杜学绘
杨智
|
《计算机应用研究》
CSCD
北大核心
|
2016 |
4
|
|
13
|
一个出具证明编译器原型系统的实现 |
刘诚
陈意云
葛琳
华保健
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
1
|
|
14
|
基于Coq构造携带证明的安全程序 |
郭丽
陈意云
李隆
李兆鹏
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
0 |
|
15
|
Lebesgue积分在PVS中的证明分析 |
王彩
高晓琴
|
《西南师范大学学报(自然科学版)》
CAS
北大核心
|
2018 |
0 |
|
16
|
刑事证明标准客观化的理论与实践审视 |
李蓉
黄小龙
|
《山东警察学院学报》
|
2020 |
1
|
|
17
|
基于标识的无线Mesh网络接入认证协议 |
张钧媛
鄢楚平
王朝翔
|
《计算机工程与设计》
CSCD
北大核心
|
2012 |
5
|
|
18
|
新物联网下的RFID双向认证协议 |
王坤
周清雷
|
《小型微型计算机系统》
CSCD
北大核心
|
2015 |
9
|
|
19
|
基于位替换运算的RFID双向认证协议 |
杜宗印
章国安
袁红林
|
《电视技术》
北大核心
|
2013 |
5
|
|
20
|
eCK模型下的密钥协商 |
柳秀梅
高克宁
薛丽芳
常桂然
周福才
|
《计算机科学》
CSCD
北大核心
|
2014 |
1
|
|