Institutional Repository
| 运用ASM描述安全协议 | |
| Alternative Title | specifying security protocols with asm |
| 薛锐; 冯登国 | |
| 2002 | |
| Source | 中国科学院研究生院学报
 |
| ISSN | 1002-1175 |
| Volume | 19Issue:3Pages:263-270 |
| English Abstract | 介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击. |
| Indexed Type | CSCD |
| Keyword | 抽象状态机 密码协议 形式化方法 形式归约 |
| Department | 信息安全国家重点实验室 |
| Language | 中文 |
| CSCD ID | CSCD:1366227 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1976 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 薛锐,冯登国. 运用ASM描述安全协议[J]. 中国科学院研究生院学报,2002,19(3):263-270. |
| APA | 薛锐,&冯登国.(2002).运用ASM描述安全协议.中国科学院研究生院学报,19(3),263-270. |
| MLA | 薛锐,et al."运用ASM描述安全协议".中国科学院研究生院学报 19.3(2002):263-270. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| specifying-security-（321KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment