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

doi:10.7523/j.issn.2095-6134.2004.4.018

中国科学院大学学报 ›› 2004, Vol. 21 ›› Issue (4): 543-548.DOI: 10.7523/j.issn.2095-6134.2004.4.018

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

任侠¹, 吕述望²

1. 中国科学技术大学, 合肥 230026;
2. 信息安全国家重点实验室(中国科学院研究生院), 北京 100039

收稿日期:2003-08-15 修回日期:2003-11-10 发布日期:2004-07-10
通讯作者: 任侠,Email：rxhsia@163.com
基金资助:
国家973项目(G1999035800)资助

Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces

REN Xia¹, LU Shu-Wang²

1. University of Science and Technology of China, Hefei 230026, China;
2. State Key Lab. of Information Security, Graduate School, Chinese Academy of Scienccs, Beijing 100039, China

Received:2003-08-15 Revised:2003-11-10 Published:2004-07-10

摘要/Abstract

摘要：

通过去除Strand空间中的强类型抽象假设,引入Strand模板的概念与一个入侵者的伪操作,进而利用认证测试方法,实现了对具有类型缺陷的认证协议的直接分析.

关键词: Strand空间, 认证协议, 强类型抽象, 类型缺陷, 认证测试

Abstract:

This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid ofthe strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of thepenetrator.

Key words: strand spaces, authentication protocol, strong typing abstraction, type flaw, authentication test

中图分类号:

TP393.08

任侠, 吕述望. 基于Strand空间分析具有类型缺陷的认证协议[J]. 中国科学院大学学报, 2004, 21(4): 543-548.

REN Xia, LU Shu-Wang. Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces[J]. , 2004, 21(4): 543-548.

[1]	丁治国, 朱学永, 雷迎科. 基于码分多址和防碰撞功能的RFID安全认证协议[J]. 中国科学院大学学报, 2010, 27(3): 397-403.
[2]	卢凤清，林东岱. 认证测试的一个扩展[J]. 中国科学院大学学报, 2007, 24(4): 488-493.

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

Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

访问统计

联系我们