1
|
一种基于有限精度时间自动机的模型检测工具 |
徐雨波
晏荣杰
|
《计算机应用研究》
CSCD
北大核心
|
2006 |
1
|
|
2
|
模型检测器SPIN图形化工具的研究与应用 |
陈平
王德成
|
《软件工程与应用》
|
2014 |
1
|
|
3
|
IKEv2协议的SPIN模型检测 |
陈大伟
董荣胜
郭云川
古天龙
|
《计算机工程》
CAS
CSCD
北大核心
|
2006 |
9
|
|
4
|
基于SPIN的HMSC模型自动检验方法 |
李立亚
孙雨荷
马汉杰
丁佐华
黄鸿云
|
《计算机工程与设计》
北大核心
|
2023 |
0 |
|
5
|
NSPK协议的Spin模型检测 |
陈道喜
张广泉
陈冬火
|
《微电子学与计算机》
CSCD
北大核心
|
2008 |
3
|
|
6
|
基于SPIN的IKEv2协议高效模型检测 |
吴昌
肖美华
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
5
|
|
7
|
基于SPIN的Andrew Secure RPC协议并行攻击模型检测 |
肖美华
朱科
马成林
|
《计算机科学》
CSCD
北大核心
|
2015 |
2
|
|
8
|
基于SPIN的网络认证协议高效模型检测 |
缪力
谭志华
张大方
|
《计算机工程与应用》
CSCD
|
2012 |
4
|
|
9
|
基于Groebner基的模型检测技术及其工具实现 |
廖紫骅
谭红艳
吴尽昭
|
《计算机应用》
CSCD
北大核心
|
2009 |
0 |
|
10
|
基于Spin的SET协议模型检测研究 |
陈道喜
戎玫
张广泉
|
《计算机工程与科学》
CSCD
北大核心
|
2009 |
0 |
|
11
|
多智体系统时序认知规范的SPIN模型检测 |
龙士工
王扣武
|
《计算机工程与科学》
CSCD
北大核心
|
2011 |
0 |
|
12
|
ESpin:基于SPIN的Eclipse模型检测环境 |
吕威
黄志球
陈哲
阚双龙
魏欧
|
《计算机工程与应用》
CSCD
|
2013 |
2
|
|
13
|
SIP协议的SPIN模型检测 |
尤启房
杨晋吉
|
《计算机工程与应用》
CSCD
|
2014 |
3
|
|
14
|
基于SPIN的SSL3.0握手协议模型检测 |
程莹
康汶
|
《计算机与数字工程》
|
2010 |
1
|
|
15
|
基于Spin检测语义Web服务过程模型 |
周瑾
吴尽昭
杨建书
|
《计算机应用》
CSCD
北大核心
|
2010 |
0 |
|
16
|
快速密钥交换协议JFK的SPIN模型检测 |
刘俏威
赵佳彬
陈育德
|
《佳木斯大学学报(自然科学版)》
CAS
|
2008 |
0 |
|
17
|
浅谈SPIN模型检测的发展及工作原理 |
刘正新
|
《消费电子》
|
2013 |
1
|
|
18
|
基于SPIN内核的SDL模型检验工具设计 |
黄山
黄忠见
韩柯
王建伟
|
《电脑知识与技术(过刊)》
|
2010 |
0 |
|
19
|
停等式ARQ协议的SPIN模型检测 |
黄丽丽
|
《福建工程学院学报》
CAS
|
2018 |
1
|
|
20
|
基于SPIN的Linux管道模型检测研究 |
速昱行
王金波
|
《电子设计工程》
|
2018 |
0 |
|