运用ASM描述安全协议
文献类型：期刊论文
| 作者 | 薛锐 ; 冯登国 |
| 刊名 | 中国科学院研究生院学报
 |
| 出版日期 | 2002 |
| 卷号 | 19期号:3页码:263-270 |
| 关键词 | 抽象状态机 密码协议 形式化方法 形式归约 |
| ISSN号 | 1002-1175 |
| 其他题名 | specifying security protocols with asm |
| 中文摘要 | 介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击. |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:1366227 |
| 公开日期 | 2010-05-27 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。