| 运用ASM描述安全协议 |
| 其他题名 | specifying security protocols with asm
|
| 薛锐; 冯登国
|
| 2002
|
| 发表期刊 | 中国科学院研究生院学报
 |
| ISSN | 1002-1175
|
| 卷号 | 19期号:3页码:263-270 |
| 摘要 | 介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击. |
| 收录类别 | CSCD
|
| 关键词 | 抽象状态机
密码协议
形式化方法
形式归约
|
| 部门归属 | 信息安全国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:1366227
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/1976
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论