ISCAS OpenIR  > 信息安全国家重点实验室
AVSP算法
其他题名algorithm of avsp
石昊苏; 薛锐; 冯登国
2005
发表期刊计算机工程与设计
ISSN1000-7024
卷号26期号:4
其他摘要AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。
关键词Avsp 安全协议 串空间 理想 算法
部门归属信息安全国家重点实验室
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/1986
专题信息安全国家重点实验室
推荐引用方式
GB/T 7714
石昊苏,薛锐,冯登国. AVSP算法[J]. 计算机工程与设计,2005,26(4).
APA 石昊苏,薛锐,&冯登国.(2005).AVSP算法.计算机工程与设计,26(4).
MLA 石昊苏,et al."AVSP算法".计算机工程与设计 26.4(2005).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
algorithm-avsp.pdf(382KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[石昊苏]的文章
[薛锐]的文章
[冯登国]的文章
百度学术
百度学术中相似的文章
[石昊苏]的文章
[薛锐]的文章
[冯登国]的文章
必应学术
必应学术中相似的文章
[石昊苏]的文章
[薛锐]的文章
[冯登国]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。