收藏本站
《微电子学与计算机》 2008年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

NSPK协议的Spin模型检测

陈道喜  张广泉  陈冬火  
【摘要】:NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 邵晨曦,胡香冬,熊焰,蒋凡;密码协议的SPIN建模和验证[J];电子学报;2002年S1期
2 龙士工,王巧丽,李祥;密码协议的Promela语言建模及分析[J];计算机应用;2005年07期
3 赵辉,李彤;基于模型的验证及其方法[J];计算机工程;2001年08期
4 周瑾;吴尽昭;杨建书;;基于Spin检测语义Web服务过程模型[J];计算机应用;2010年S2期
5 陈大伟;董荣胜;郭云川;古天龙;;IKEv2协议的SPIN模型检测[J];计算机工程;2006年05期
6 孙军梅;周娇蓉;;基于SPIN的BPEL4WS建模与验证研究[J];杭州师范大学学报(自然科学版);2010年05期
7 冯杰;;WTP协议的SPIN模型检测[J];电脑知识与技术;2008年34期
8 刘俏威;赵佳彬;陈育德;;快速密钥交换协议JFK的SPIN模型检测[J];佳木斯大学学报(自然科学版);2008年01期
9 陈道喜;陈冬火;张广泉;;TCP协议的安全性和活性验证[J];苏州大学学报(自然科学版);2008年01期
10 单卓为;鱼滨;;基于SPIN的CSCW系统的验证[J];计算机技术与发展;2008年04期
11 姜玉蓉;缪力;张大方;刘潇潇;;LINUX进程间通信的模型检测[J];计算机科学;2008年10期
12 李元;唐郑熠;李祥;;炼焦过程控制计算机故障的分析与模型检测[J];计算机与数字工程;2010年01期
13 陈道喜;戎玫;张广泉;;基于Spin的SET协议模型检测研究[J];计算机工程与科学;2009年09期
14 高春雨;朱学永;;安全协议Andrew RPC的SPIN模型检测[J];网络安全技术与应用;2009年05期
15 翁立晨;汪学明;;进程调度模型的Spin验证分析与改进[J];计算机应用;2009年S2期
16 徐蔚文,陆鑫达;身份认证协议的模型检测分析[J];计算机学报;2003年02期
17 喻超;毋国庆;;基于SAT工具的限界模型检测归约方法[J];计算机工程;2010年17期
18 高昀;;信息系统的可生存性建模与分析研究[J];甘肃科技;2010年21期
19 廖慧芬;詹芹;;类复制变异和JPF技术的Eclipse模型检测方法[J];制造业自动化;2011年03期
20 梁冰;刘群;;基于UPPAAL的数据关联时序有限自动机模型验证[J];计算机工程;2007年22期
中国重要会议论文全文数据库 前10条
1 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
2 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
3 Werner Vogelsang;;USING SPIN TO EXPLORE NUCLEON STRUCTURE AND QCD[A];RBRC/CCAST Symposium on Spin Physics, Lattice QCD and RHIC Physics--Proceeding of CCAST (World Laboratory) Workshop[C];2003年
4 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
5 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
6 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
7 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
8 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
9 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 本报记者 马文方;摩尔定律属于谁?[N];计算机世界;2002年
2 彭文艳;“有机食品”在美扬眉吐气[N];中华工商时报;2002年
3 羽舟;计算与通信:制高点的融合[N];中国计算机报;2002年
4 方圆;如何准备项目[N];中国计算机报;2002年
5 ;Broadcom将收购Zyray无线公司[N];中国高新技术产业导报;2004年
6 本报记者 辛鹏骏;朗讯高通都要分家[N];中国电子报;2000年
7 ;克莱斯勒网上飞驰[N];中华工商时报;2000年
8 ;高通将剥离半导体业务[N];人民邮电;2000年
9 刘永政 律师;公司分拆[N];国际商报;2000年
10 田小鹏博士;CMM是软件企业发展的一味良药[N];中国计算机报;2003年
中国博士学位论文全文数据库 前10条
1 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
3 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
6 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
7 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
8 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
9 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
10 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
2 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
3 薛克;基于SPIN的UML活动图验证[D];华东师范大学;2008年
4 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
5 马军慧;基于无穷模型命题投影时序逻辑的模型检查[D];西安电子科技大学;2007年
6 谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
7 陈道喜;基于Promela的组合抽象Spin模型检测及应用[D];苏州大学;2009年
8 刘俏威;SPIN模型检测的形式化分析机理研究及应用[D];南昌大学;2008年
9 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
10 李静;基于UML行为模型的软件漏洞检测形式方法研究[D];青岛大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978