• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Zhang, Xinglan (Zhang, Xinglan.) | Shao, Dapeng (Shao, Dapeng.)

Indexed by:

EI Scopus

Abstract:

In the process of formal analysis based on strand space model, it is generally based on the assumption that the cryptographic algorithm used in protocol is secure. By introducing an insecure signature algorithm, we extend the penetrator model of strand space and improve the authentication test method based on parameters consistency, and then extend the expression and analysis ability of the strand space method. Making use of the improved method, we analyze the Linear MAKEP protocol proposed by Wong in 2001. The results show that the protocol is not security under the new penetrator model. Consequently, we provide a simple improved mode. © 2010 IEEE.

Keyword:

Authentication Cryptography Information theory

Author Community:

  • [ 1 ] [Zhang, Xinglan]College of Computer Science and Technology, Beijing University of Technology, Beijing, 100124, China
  • [ 2 ] [Shao, Dapeng]College of Computer Science and Technology, Beijing University of Technology, Beijing, 100124, China

Reprint Author's Address:

Show more details

Related Keywords:

Source :

Year: 2010

Page: 411-414

Language: English

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 2

Affiliated Colleges:

Online/Total:670/5298289
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.