基于Strand空间分析具有类型缺陷的认证协议  

Analyzing the Authentication Protocol with Type Flaw Based on Strand Spaces

作　　者：任侠[1] 吕述望[2] 

机构地区：[1]中国科学技术大学,合肥230026 [2]信息安全国家重点实验室(中国科学院研究生院),北京100039

出　　处：《中国科学院研究生院学报》2004年第4期543-548,共6页Journal of the Graduate School of the Chinese Academy of Sciences

基　　金：国家 973项目 (G19990 3 5 80 0 )资助

摘　　要：通过去除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.

关 键 词：STRAND空间 认证协议 强类型抽象 类型缺陷 认证测试 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]