摘要
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator.
出处
《中国科学院研究生院学报》
CAS
CSCD
2004年第4期543-548,共6页
Journal of the Graduate School of the Chinese Academy of Sciences
基金
国家 973项目 (G19990 3 5 80 0 )资助
关键词
STRAND空间
认证协议
强类型抽象
类型缺陷
认证测试
strand spaces, authentication protocol, strong typing abstraction, type flaw, authentication test