运用ASM描述安全协议
| Data(s) |
2002
|
|---|---|
| Resumo |
介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
薛锐; 冯登国.运用ASM描述安全协议,中国科学院研究生院学报,2002,19(3):263-270 |
| Palavras-Chave | #抽象状态机 #密码协议 #形式化方法 #形式归约 |
| Tipo |
期刊论文 |
