| Geopriv协议形式化分析与模型检测 | |
| 谢琳1,2 | |
| 2013-09-01 | |
| 发表期刊 | 计算机光盘软件与应用
 |
| ISSN | 1007-9599 |
| 卷号 | 16期号:17页码:77-78 |
| 摘要 | 在协议的形式化检测中,欧共体支助的基于TLA的大型项目AVISPA,其以HLPSL为描述语言,本文实现了基于TLA的Geopriv协议的形式化分析与检测,通过检测,发现Geopriv协议在一定条件下,是可以攻破的,并发现该协议的攻击,给出了攻击路径。 |
| 关键词 | Geopriv协议 形式化分析 模型检测 |
| URL | 查看原文 |
| 语种 | 中文 |
| 原始文献类型 | 学术期刊 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/76895 |
| 专题 | 国家开放大学贵州分部 |
| 作者单位 | 1.贵州广播电视大学; 2.贵州职业技术学院信息系 |
| 第一作者单位 | 国家开放大学贵州分部 |
| 第一作者的第一单位 | 国家开放大学贵州分部 |
| 推荐引用方式 GB/T 7714 | 谢琳. Geopriv协议形式化分析与模型检测[J]. 计算机光盘软件与应用,2013,16(17):77-78. |
| APA | 谢琳.(2013).Geopriv协议形式化分析与模型检测.计算机光盘软件与应用,16(17),77-78. |
| MLA | 谢琳."Geopriv协议形式化分析与模型检测".计算机光盘软件与应用 16.17(2013):77-78. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [谢琳]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [谢琳]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [谢琳]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
| 相关推荐 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论