|
1
|
基于SVO逻辑的云服务安全形式化分析 |
陈丹伟
黄秀丽
孙国梓
|
《小型微型计算机系统》
CSCD
北大核心
|
2010 |
4
|
|
|
2
|
不可否认协议形式化分析的SVO逻辑方法 |
黎波涛
罗军舟
|
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2005 |
2
|
|
|
3
|
一种新的安全协议形式化分析方法--证据逻辑 |
陆阳
肖军模
刘晶
|
《计算机工程》
CAS
CSCD
北大核心
|
2008 |
1
|
|
|
4
|
SSL协议的扩展Rubin逻辑形式化分析 |
李秋山
胡游君
|
《计算机工程与设计》
CSCD
北大核心
|
2007 |
2
|
|
|
5
|
基于门级信息流分析的多值逻辑形式化方法研究 |
邰瑜
慕德俊
胡伟
毛保磊
郭蓝天
|
《西北工业大学学报》
EI
CAS
CSCD
北大核心
|
2017 |
2
|
|
|
6
|
面向事实建模方法ORM的一阶逻辑形式化分析 |
潘文林
刘大昕
|
《计算机应用研究》
CSCD
北大核心
|
2011 |
0 |
|
|
7
|
一种面向电子邮件的不可否认协议及其形式化分析 |
彭红艳
李肖坚
夏春和
邓剑锋
周小发
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2006 |
5
|
|
|
8
|
不可否认协议时限性的形式化分析 |
黎波涛
罗军舟
|
《软件学报》
EI
CSCD
北大核心
|
2006 |
13
|
|
|
9
|
一个非否认协议ZG的形式化分析 |
范红
冯登国
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2005 |
8
|
|
|
10
|
一种安全协议的形式化分析方法 |
王昕
袁超伟
|
《计算机工程》
CAS
CSCD
北大核心
|
2010 |
7
|
|
|
11
|
一种改进的A(0)协议及其形式化分析 |
蔡永泉
朱勇
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
4
|
|
|
12
|
一种挂号电子邮件协议的设计及其形式化分析 |
高悦翔
彭代渊
|
《计算机应用》
CSCD
北大核心
|
2008 |
2
|
|
|
13
|
密码协议的形式化分析 |
束妮娜
王亚弟
|
《计算机应用研究》
CSCD
北大核心
|
2001 |
1
|
|
|
14
|
一种混合的安全协议形式化分析技术 |
范红
冯登国
|
《中国科学院研究生院学报》
CAS
CSCD
|
2002 |
1
|
|
|
15
|
隐标识身份认证方法及其形式化语义分析 |
贺前华
江瑾
黄翰陞
|
《计算机工程》
CAS
CSCD
北大核心
|
2008 |
0 |
|
|
16
|
一种新的双方不可否认密码协议及其形式化分析 |
桑永宣
曾吉文
|
《厦门大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2008 |
0 |
|
|
17
|
非否认协议中认证保密性的设计与形式化分析 |
张虹
|
《计算机科学》
CSCD
北大核心
|
2008 |
0 |
|
|
18
|
动态远程证明协议及其形式化分析 |
辛思远
赵勇
王婷
|
《计算机工程与设计》
CSCD
北大核心
|
2012 |
0 |
|
|
19
|
一种新的复合型电子支付协议及其形式化分析 |
丁月
汪学明
|
《计算机应用与软件》
北大核心
|
2018 |
0 |
|
|
20
|
基于时序逻辑的加密协议分析 |
肖德琴
周权
张焕国
刘才兴
|
《计算机学报》
EI
CSCD
北大核心
|
2002 |
15
|
|
