ISCAS OpenIR  > 信息安全国家重点实验室
AVSP算法
Alternative Titlealgorithm of avsp
石昊苏; 薛锐; 冯登国
2005
Source计算机工程与设计
ISSN1000-7024
Volume26Issue:4
AbstractAVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。
KeywordAvsp 安全协议 串空间 理想 算法
Department信息安全国家重点实验室
Language中文
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/1986
Collection信息安全国家重点实验室
Recommended Citation
GB/T 7714
石昊苏,薛锐,冯登国. AVSP算法[J]. 计算机工程与设计,2005,26(4).
APA 石昊苏,薛锐,&冯登国.(2005).AVSP算法.计算机工程与设计,26(4).
MLA 石昊苏,et al."AVSP算法".计算机工程与设计 26.4(2005).
Files in This Item:
File Name/Size DocType Version Access License
algorithm-avsp.pdf(382KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[石昊苏]'s Articles
[薛锐]'s Articles
[冯登国]'s Articles
Baidu academic
Similar articles in Baidu academic
[石昊苏]'s Articles
[薛锐]'s Articles
[冯登国]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[石昊苏]'s Articles
[薛锐]'s Articles
[冯登国]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.