|
1
|
基于递归认证测试的SIP协议形式化分析 |
姚萌萌
王宇
洪瑜平
|
《信息网络安全》
CSCD
北大核心
|
2024 |
0 |
|
|
2
|
网络协议一致性测试研究综述 |
朱雪峰
许建军
邹彪
张哲
孙雷
|
《计算机科学》
CSCD
北大核心
|
2009 |
18
|
|
|
3
|
邻居发现协议的形式化测试 |
田军
张玉军
于东
付晓宇
郑红霞
李忠诚
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2001 |
6
|
|
|
4
|
MVB协议一致性测试研究与实现 |
朱琴跃
谢维达
谭喜堂
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2007 |
26
|
|
|
5
|
计算可靠的密码协议形式化分析综述 |
雷新锋
宋书民
刘伟兵
薛锐
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
10
|
|
|
6
|
协议一致性测试执行系统的体系结构研究 |
陈建荣
王乐春
龚正虎
|
《计算机工程》
CAS
CSCD
北大核心
|
2003 |
10
|
|
|
7
|
一种形式化的基于TTCN的测试执行方法 |
郝瑞兵
吴建平
史美林
|
《软件学报》
EI
CSCD
北大核心
|
1997 |
4
|
|
|
8
|
基于协议集成测试系统的IPv4协议一致性测试 |
王建国
吴建平
陈修环
冯晓东
|
《软件学报》
EI
CSCD
北大核心
|
2000 |
9
|
|
|
9
|
IPv6中IPSec协议一致性测试 |
于东
郑红霞
张玉军
田军
李忠诚
|
《计算机工程》
CAS
CSCD
北大核心
|
2003 |
2
|
|
|
10
|
基于认证测试方法的EAP-AKA协议分析 |
王鹏
李谢华
陆松年
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
9
|
|
|
11
|
基于标号变迁系统的测试集自动生成 |
蒋凡
宁华中
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2001 |
6
|
|
|
12
|
OSPFv3协议一致性测试系统设计与实现 |
杨建华
王俊峰
谢高岗
|
《计算机应用》
CSCD
北大核心
|
2003 |
4
|
|
|
13
|
IPv6邻居发现协议的一致性测试 |
叶新铭
孙美飞
|
《计算机科学》
CSCD
北大核心
|
2005 |
3
|
|
|
14
|
BGP4+协议一致性测试系统设计与实现 |
翟鹏
王旸旸
李登道
毕经平
|
《计算机应用研究》
CSCD
北大核心
|
2006 |
2
|
|
|
15
|
突破认证测试方法的局限性 |
刘家芬
周明天
|
《软件学报》
EI
CSCD
北大核心
|
2009 |
7
|
|
|
16
|
协议一致性测试用例生成模型研究 |
齐建业
李强
余祥
|
《计算机工程与设计》
CSCD
北大核心
|
2014 |
2
|
|
|
17
|
IPv6中Neighbor Discovery协议及其测试 |
张玉军
田军
于东
付晓宇
郑红霞
李忠诚
|
《计算机工程与应用》
CSCD
北大核心
|
2002 |
1
|
|
|
18
|
基于事件逻辑的无线Mesh网络认证协议安全性证明 |
李娅楠
肖美华
李伟
梅映天
钟小妹
|
《计算机工程与科学》
CSCD
北大核心
|
2017 |
6
|
|
|
19
|
协议主体密钥在测试组件构造上的性质分析 |
余磊
魏仕民
|
《计算机工程与应用》
CSCD
|
2013 |
6
|
|
|
20
|
关于通信协议测试生成形式方法的探讨 |
刘积仁
都军
|
《东北大学学报（自然科学版）》
EI
CAS
CSCD
|
1995 |
2
|
|
