Institutional Repository
| AVSP算法 | |
| Alternative Title | algorithm of avsp |
| 石昊苏; 薛锐; 冯登国 | |
| 2005 | |
| Source | 计算机工程与设计
 |
| ISSN | 1000-7024 |
| Volume | 26Issue:4 |
| Abstract | AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。 |
| Keyword | Avsp 安全协议 串空间 理想 算法 |
| Department | 信息安全国家重点实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://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 | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment