论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
WTP协议的SPIN模型检测
WTP协议的SPIN模型检测
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
基于模型检测技术，使用SPIN对WTP协议进行了建模和分析．应用自动机和Promela对协议进行建模。利用LTL规范了协议需要满足的安全性，时序性。通过分析发现了协议的一个错误。
推荐文章
NSPK协议的Spin模型检测
模型检测
NSPK协议
Spin
基于颜色Petri网的SPIN协议研究
环境监测
路由协议
SPIN协议
CPN Tools
基于SPIN协议的身份认证改进研究
无线传感网络
密钥管理
SPIN
数字签名
无线传感器网络SPIN协议的改进及验证
有色Petri网
SPIN协议
SPIN-E协议
建模
CPN分析工具
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | WTP协议的SPIN模型检测 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 工学 |
| 关键词 | WTP协议 SPIN 模型检测 PROMELA | ||
| 年，卷（期） | 2008,（12） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 1588-1591 | |
| 页数 | 4页 | 分类号 | TP393 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (5)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
WTP协议
SPIN
模型检测
PROMELA
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2008年第S2期
电脑知识与技术：学术版2008年第9期
电脑知识与技术：学术版2008年第8期
电脑知识与技术：学术版2008年第7期
电脑知识与技术：学术版2008年第6期
电脑知识与技术：学术版2008年第5期
电脑知识与技术：学术版2008年第4期
电脑知识与技术：学术版2008年第3期
电脑知识与技术：学术版2008年第2期
电脑知识与技术：学术版2008年第12Z期
电脑知识与技术：学术版2008年第12X期
电脑知识与技术：学术版2008年第12期
电脑知识与技术：学术版2008年第11Z期
电脑知识与技术：学术版2008年第11X期
电脑知识与技术：学术版2008年第11期
电脑知识与技术：学术版2008年第10期
电脑知识与技术：学术版2008年第1期
