| AVSP算法 |
| 其他题名 | algorithm of avsp
|
| 石昊苏; 薛锐; 冯登国
|
| 2005
|
| 发表期刊 | 计算机工程与设计
 |
| ISSN | 1000-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).
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论