1
基于串空间的Ad Hoc安全路由协议攻击分析模型
董学文
马建峰
牛文生
毛立强
谢辉
《软件学报》
EI
CSCD
北大核心
2011
8
2
串空间理论扩展
沈海峰
薛锐
黄河燕
陈肇雄
《软件学报》
EI
CSCD
北大核心
2005
15
3
基于伪ID的RFID认证协议及串空间证明
徐扬
苑津莎
高会生
胡晓宇
赵振兵
《计算机科学》
CSCD
北大核心
2017
8
4
基于串空间的安全协议形式化验证模型及算法
周宏斌
黄连生
桑田
《计算机研究与发展》
EI
CSCD
北大核心
2003
9
5
基于串空间的可信计算协议分析
冯伟
冯登国
《计算机学报》
EI
CSCD
北大核心
2015
12
6
串空间方法分析协议公平性的研究
王涛
郭荷清
姚松涛
《计算机工程与应用》
CSCD
北大核心
2004
4
7
一种新的安全协议及其串空间模型分析
皮建勇
杨雷
刘心松
李泽平
《计算机科学》
CSCD
北大核心
2010
3
8
用串空间分析公平交换协议
沈海峰
薛锐
黄河燕
《小型微型计算机系统》
CSCD
北大核心
2006
4
9
基于串空间的匿名形式化分析扩展
董学文
牛文生
马建峰
谢晖
毛立强
《通信学报》
EI
CSCD
北大核心
2011
2
10
基于串空间和状态转换的认证协议分析方法
邓淼磊
邱罡
周利华
《计算机科学》
CSCD
北大核心
2007
3
11
电子商务协议的串空间分析
刘义春
张焕国
《计算机科学》
CSCD
北大核心
2008
6
12
基于串空间模型的Andrew RPC协议的分析与验证
周清雷
赵琳
赵东明
《计算机工程与应用》
CSCD
北大核心
2007
2
13
串空间模型中的口令猜测攻击
龙士工
罗文俊
袁超伟
李祥
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2007
2
14
基于串空间的安全协议形式化分析研究
姚萌萌
唐黎
凌永兴
肖卫东
《信息网络安全》
CSCD
北大核心
2020
3
15
Yahalom协议的串空间模型及分析
刘璟
祝世雄
周明天
《小型微型计算机系统》
CSCD
北大核心
2006
5
16
基于串空间模型安全协议形式化分析方法的研究
董军
杨秀娟
赵艳芹
《计算机技术与发展》
2008
6
17
用于密码协议安全性证明的串空间模型
王焕宝
张佑生
侯整风
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
2
18
Casper/FDR和串空间在物联网通信协议中的形式化分析
吴名欢
程小辉
《桂林理工大学学报》
CAS
北大核心
2014
4
19
基于串空间的Kao Chow加密协议形式化验证
陆超
周颢
陈波
赵保华
《中国科学技术大学学报》
CAS
CSCD
北大核心
2007
1
20
Ad-hoc路由协议的串空间安全性扩展
董学文
牛文生
马建峰
盛立杰
《计算机科学》
CSCD
北大核心
2011
1