Welcome to Journal of University of Chinese Academy of Sciences,Today is

›› 2004, Vol. 21 ›› Issue (4): 543-548.DOI: 10.7523/j.issn.2095-6134.2004.4.018

Previous Articles     Next Articles

Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces

REN Xia1, LU Shu-Wang2   

  1. 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 Online:2004-07-10

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

CLC Number: